Prolog: A Relational Language and Its Applications |
Contents
Logic Logic Programming and Prolog | 5 |
Facts and Rules | 65 |
3 | 102 |
Copyright | |
14 other sections not shown
Common terms and phrases
Active Queries adjective adjs algorithm amtrak answer set Arity atomic formula axioms backtracking brian built-in predicate called characters child_of citoh CityA CityB closed world assumption compound query database debugger declarative defined domain employee evaluated example fact father bill findall following query formalism Herbrand Horn clause Hour implemented inference inheritance input list instance instantiated integer integrity constraint interface irreflexive knowledge representation left recursive logic programming machine mcgraw 0 dow meaning meeting_38 metalanguage micro-Prolog new_york nonvar noun nounphrase number of arguments object language operators OpList OpPath output parser parsing predicate logic procedure Program Clauses Prolog interpreter Prolog program propositional propositional logic Qlists readsent recursive relation rolm rule schedule semantic set of clauses shift side effects StatPath stream structure subgoal symbol syntax theory tion true truth value tuple Turbo Prolog unifies uninstantiated user hits return variable versions of Prolog write xancestor