The following pages link to (Q3809305):
Displaying 4 items.
- CS-Prolog (Q12939) (← links)
- Replacing unification by constraint satisfaction to improve logic program expressiveness (Q912656) (← links)
- Using an extended PROLOG to solve the lion and unicorn Puzzle (Q1123642) (← links)
- CR-Prolog as a Specification Language for Constraint Satisfaction Problems (Q3643133) (← links)