Personal tools
You are here: Home Projects Prolog University of Edinburgh Documents [David Bowen or William F. Clocksin?]. Disjunction for Prolog-X. August 24, 1983. Filename of document was "zipor".
Document Actions

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

by Paul McJones last modified 2023-06-13 10:57

[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

Size 842.7 kB - File type application/pdf
« July 2024 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31
 

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: