Prolog: A Logical Approach |
Other editions - View all
Common terms and phrases
allow append argument arity Array ASCII assert atom breadth-first search built-in predicates Chapter Char character choice point database debugging defined definition evaluate example Exercise EXIT extra fact fail FORTRAN fred function functor garbage collector gen_integer get0 goal clause hypertext implementation input integer Label Leftover length ligo logic programming look Lords Spiritual matches Mode errors module Newleftover Note object operator declarations output paragraph polynomial problem programming language Prolog program Prolog specification Prolog systems Prolog term query quicksort REDO represent representation resatisfiable restriction result retract retractall rewrite rightmove routine rule second clause setof side causes side effect simple solution set Someone specification language stream string structure succeeds Suppose syntax tail goals tail recursive things tokens true typelist variable xterm