What people are saying - Write a review
We haven't found any reviews in the usual places.
The Meaning of Prolog Programs
1 other sections not shown
abort argument arithmetic expressions arity ASCII atom backtracking becomes the current Break level bytes usedj C-Prolog call the evaluable Checks that X_ command compound term consult control flow control-Z creep current input stream current output stream currently instantiated database reference DECsystem-10 directive disjunction END-OF-INPUT character END-OF-LINE erased evaluable predicate example execution Exit Fernando Pereira file F_ global stack indexed database infix initial integer bitwise manual match member(x non-variable normally occurs check operator declarations operator of type options precedence prefix operator preter principal functor procedure box procedure call programming language Prolog interpreter Prolog library prompt on Call quasi-skip reconsult saved semantics sequence set spy-points setof(x Skip space SRI International standard order subgoals succeeds Term T1_ term X_ terminal top level trace unification University of Edinburgh UNIX user's variables written X_ and Y_ X_ is currently X_'s Y_'s value