The top documents tagged [general unifier]
Ai Module IV
109 views
16 1 predicate resolution
16 views
AR for Horn clause logic
28 views
Unification Grammars
48 views
AR for Horn clause logic
25 views