|
|
|||||||||
evaluates a function
<-/2
Allows to use
Result <- Predicate(Arg1,...,ArgN)
instead of
Predicate(Arg1,...,ArgN,ArgN+1)
Used to make programs with functions easier to read.
See Manual/Reference/Functions
Standard
This predicate is not part of the ISO-Prolog Standard.
See also
abort/0, break/0, call/1, fcall/1, catch/3, ','(conjunction)/2, ';'(disjunction)/2, fail/0, true/0, halt/0/1, '->'(if-then)/2, ';'(if-then-else)/2, '\+'(not provable)/1, once/1, repeat/0, throw/1.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/eval/print_en.html published 2008/7/14 update 2003/2/28 (c) 1996-2006 IF Computer Japan | ||||||||
|
