Inconsistent behavior of "or"

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

Open kg6y-ucd opened 8 years ago

kg6y-ucd commented 8 years ago

Or behaves differently when used with call.

PAIPROLOG> (?- (or (fail) (true)))
Yes
No.
; No value
PAIPROLOG> (?- (call (or (fail) (true))))
No.
; No value
PAIPROLOG>

I think these results should be the same.

alanruttenberg commented 6 years ago