sitelogo
<-(Eval)/2

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.

Darueber read on...
scroll to top managed with ubiCMS