search

quek / paiprolog

forked Christophe Rhodes's PAIProlog that an update of Peter Norvig's "Prolog in Common Lisp".
Other
18 stars 6 forks source link

@>/2 is defined with the wrong name #12

Closed kg6y-ucd closed 8 years ago

kg6y-ucd commented 8 years ago

The primitive @> is defined with the wrong name @>2.

PAIPROLOG> (?- (@> b a))
;Compiler warnings :
;   In TOP-LEVEL-QUERY/0: Undefined function @>/2
; Evaluation aborted on #<CCL::UNDEFINED-FUNCTION-CALL #x30200156D49D>.
PAIPROLOG> (?- (@>2 b a))
Yes
No.
; No value
PAIPROLOG>