Error with operator ;

Oct 13, 2010 at 4:12 PM

Program is not interpreted ; operator. This is alternative operator in Prolog.

Coordinator
Dec 11, 2011 at 7:28 PM

; is not supported at this time.  Programs which use ; would have to be rewritten.  For example:

:- X = 1; X = 2

as

A(X) :- X = 1.

A(X) :- X = 2.

:- A(X).

Handling this will require either dynamically generating rules as shown above and/or modifying the Try/Retry WAM instructions to handle arbitrary instruction stream pointers as branch points, rather than rule functors.