Pages that link to "Item:Q912656"
From MaRDI portal
The following pages link to Replacing unification by constraint satisfaction to improve logic program expressiveness (Q912656):
Displaying 7 items.
- Symbolic constraint handling through unification in finite algebras (Q757060) (← links)
- Using an extended PROLOG to solve the lion and unicorn Puzzle (Q1123642) (← links)
- (Q3696486) (← links)
- (Q3809305) (← links)
- (Q4536729) (← links)
- Selective Unification in (Constraint) Logic Programming* (Q4988929) (← links)
- Constrained equational deduction (Q5881303) (← links)