[David Bowen or William F. Clocksin?]. Disjunction for Prolog-X. August 24, 1983. Filename of document was "zipor".

[David Bowen or William F. Clocksin?]. Disjunction for Prolog-X. August 24, 1983. Filename of document was "zipor". “The point of this design is to extend the existing Prolog-X design so that a number of Prolog features supported by the Dec-10 interpreter (and in one case by a library routine) may be handled by the Prolog-X compiler and byte-code interpreter.” Includes disjunction (;), if-then-else, negation by finite failure (\+), iteration (forall). Adds new instructions Or, Alt, Goto, EndOr, Arrow, Slice, and TimidCut."

Click here to get the file