Prolog: A Relational Language and Its Applications |
Contents
Logic Logic Programming and Prolog | 5 |
Facts and Rules | 65 |
3 | 102 |
Copyright | |
15 other sections not shown
Common terms and phrases
added Amount answer application argument asserted assignment associated atom axioms backtracking bill block body brian built-in predicate called characters clause compound query consider contains database defined described domain effects element employee evaluated example existing expression fact fails father Figure formalism frame function holds Hour implemented inference inheritance input instance integer interpreter knowledge knows language logic machine meaning meeting nounphrase object once operators output parser path possible prints problem procedure Prolog propositional query recursive relation represented rest result rule schedule semantic shift solving specifies statement station stream structure subgoal symbol Table takes theory tion true truth value unifies variable write written xancestor