The Art of Prolog – [Second Edition; Advanced Programming Techniques]
Häftad bok. Cambridge: The MIT Press, Massachusetts Institute of Technology. 2 uppl. 1997. xxxix, (1), 509 sidor.
Gott skick.
Läst men ganska fint exemplar med vissa yttre bruksspår. Läsveck syns på pärmryggen.
Innehåll:
Part 1 Logic programs: basic constructs; database programming; recursive programming; the computation model of logic programs; theory of logic programs.
Part 2 The Prolog language: pure Prolog; programming in pure Prolog; arithmetic; structure inspection; meta-logical predicates; cuts and negation; extra-logical predicates; program development.
Part 3 Advanced Prolog programming techniques: nondeterministic programming; incomplete data structures; second-order programming; interpreters; program transformation; logic grammars; search techniques.
Part 4 Applications: game-playing programs; a credit evaluation expert system; an equation solver; a compiler.
Appendix: operators.
