Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
occurs check unification complete unification HASL Han character unify Han Unification PHOCUS Fresh Quty negation by failure logic programming GAPLog SFLV QPE unifier narrowing most general unifier FUNLOG ISL Prolog-III TABLOG HiLog principal type Constraint Logic Programming Constraint Handling In Prolog Extended Self-containing Prolog IDEAL instantiation Lolli logic variable XSB Parlog BinProlog type inference Wild_LIFE resolution rl Prolog