Micro-PROLOG: programming in logic
Basic concepts; Facts and queries; Rules; Lists; Logic programming using micro-Prolog; Complex conditions in queries and rules; List processing; Introduction to parsing; Some pragmatic considerations; Metalogical programming; Core micro-Prolog; The standard syntax of micro-Prolog; Applications of micro-Prolog; A critical path analysis program; Micro-Prolog for expert systems; The logic of two person games; Micro-Prolog for problem solving; Index.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
all-trace all(x ancestor-of answer pattern append argument arithmetic atom backtracking belongs-to bicycle breadth-first search capital-of Chapter clause command confirmed conjunctive condition control reading critical path analysis data base Define the relation delete depth-first search descendant-of displayed earliest finish earliest-start Edward element Elizabeth2 evaluation example Exercises expert system expression factorial facts female forall forcing tree game tree give given graph has-length Henry father-of Henry-Snr father-of integer is-reported is-told length-of LESS list pattern logic programming loop-free male Mary match max-of meta-variable metalogical micro micro-PROLOG micro-PROLOG program module mother-of MYCIN negated condition node p1 vail pair parent-of parse part-of plist position primitive problem PROLOG query condition recursive definition recursive rule relation name second rule simple sentence solved sort standard syntax sublist System note tail recursive true-of unary relation variables which(x y written-by x y z xl x2