Index: Term unification
=/2
term_unification Predicates Reference Manual MINERVA
\=/2
term_unification Predicates Reference Manual MINERVA
unifiy_with_occurs_check/2
term_unification Predicates Reference Manual MINERVA
no further details at this level
MINERVA
Expert Services on the Web
Language
English
Japanese
Server
USA
Japan
Site Access
Local Index
Local Contents
Site Contents
Site Index
Printer Friendly
For imode
For PDA
Search
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_unification/idx_en.html
published 2008/7/7 update 1998/8/7 (c) 1996-2006 IF Computer Japan
IF Computer
5-28-2 Sendagi, Bunkyo-ku
Tel +81-3-5814-3352
info@ifcomputer.com
Customer Support
Tokyo 113-0022 Japan
http://www.ifcomputer.com
scroll to top
