IF Computer
>
MINERVA
>
Manual
>
Reference
>
Predicates
>
Term unification
Term unification
MINERVA
Expert Services on the Web
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_unification/print_en.html
published 2008/7/7
update 1998/8/7
(c) 1996-2006 IF Computer Japan
