What people are saying - Write a review
We haven't found any reviews in the usual places.
Logic Logic Programming and Prolog
Facts and Rules
Arithmetic and Data Structures
10 other sections not shown
Active Queries adjs algorithm answer set application Arity assignment atomic formula axioms backtracking brother(john built-in predicate called characters CityB closed world assumption compiler compound query currently asserted database debugger declarative defined employee evaluated example fact father(bill following query formalism Herbrand Horn clause hour ID Amount implemented input list instance instantiated integer integrity constraint interface irreflexive knowledge representation left recursive logic programming machine mcgraw 0 dow meaning metalanguage micro-Prolog new_york nonterminal noun nounphrase number of arguments object language OpPath output parser Plists predicate logic problem solving strategy procedure Program Clauses Prolog interpreter Prolog program Prolog-2 propositional logic Qlist readsent recursive relation rolm schedule second argument semantic set of clauses shift side effects StatPath subgoal symbol syntax theory tion true truth value tuple Turbo Prolog uncle(john unifies uninstantiated user hits return user types variable versions of Prolog write