Move to
Next
Prev
Up
Top
Zoom to
\=/2
=/2
unifiy_with_occurs_check/2
See also
Arithmetic comparison
Arithmetic evaluation
Atomic term processing
Text Processing and Regular Expressions
Blackboards
BinaryIO
Character input/output
Constraints
Compilation
Clause creation and destruction
Clause retrieval and information
global variables
Grammar rules
Lists
Logic and control
All Solutions
Communication between distributed Minerva processes.
Stream selection and control
Servlet
Term comparison
Term creation and decomposition
Term input/output
Term unification
Term vector
Term Stream
XML (eXtended Markup Language) terms
Asynchronous timer handling
Type testing
IF Computer
>
MINERVA
>
Manual
>
Reference
>
Predicates
> Term unification
Term unification
read on...
\=/2
tests whether two terms are not unifiable. ...
=/2
unifies two terms....
unifiy_with_occurs_check/2
unifies two terms, where the occurs check will be taken in account....
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/home_en.html
published 2010/3/8 update 1998/8/7 (c) 1996-2009 IF Computer Japan
IF Computer
5-28-2 Sendagi, Bunkyo-ku
Tel +81-3-5814-3352
start (AT) ifcomputer.com
Customer Support
Tokyo 113-0022 Japan
http://www.ifcomputer.com
scroll to top
