The following pages link to The occur-check problem in Prolog (Q1077912):
Displaying 7 items.
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities (Q688819) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Semantics for logic programs without occur check (Q913532) (← links)
- Automatic inductive theorem proving using Prolog (Q1103415) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Set-sharing is redundant for pair-sharing (Q1605223) (← links)
- A relaxed condition for avoiding the occur-check (Q6076347) (← links)
