The following pages link to (Q4868062):
Displaying 12 items.
- Unification for infinite sets of equations between finite terms (Q287056) (← links)
- Weakest preconditions for pure Prolog programs (Q293340) (← links)
- On the implementation of GNU Prolog (Q2893102) (← links)
- (Q3316552) (← links)
- (Q3713590) (← links)
- (Q3735049) (← links)
- En match med Prolog (Q3994556) (← links)
- (Q4003803) (← links)
- (Q4040344) (← links)
- Principles of logic programming. With the coop. of A. Sinachopoulos (Q4718430) (← links)
- (Q4720771) (← links)
- (Q4851550) (← links)