Micro-PROLOG: Programming in Logic
Prentice/Hall International, 1984 - Computers - 401 pages
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.
all-trace all(x ancestor-of answer pattern append argument arithmetic atom backtracking belongs-to bicycle binary relation 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 father-of y female forall forcing tree game tree give given graph has-length Henry father-of Henry-Snr father-of integer is-reported is-told legal-move-from length-of LESS list pattern logic programming loop-free male Mary match max-of max-of-either meta-variable metalogical micro micro-PROLOG micro-PROLOG program module mother-of MYCIN negated condition node p2 val2 pair parent-of parse part-of pi vall plist position primitive problem PROLOG query condition recursive rule relation name second rule simple sentence solved sort standard syntax sublist System note tail recursive true-of value-of-b-to-move variables which(x y written-by x father-of x y z