Techniques of Prolog programming : with implementation of logical negation and quantified goals /
Van Le, T.
Techniques of Prolog programming : with implementation of logical negation and quantified goals / T. van Le. - xviii, 601 pages : illustrations ; 24 cm
System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
Introduction to prolog -- Declarative prolog programming -- Procedural prolog programming -- Control and side-effect features of prolog -- Development of prolog programs -- Advanced programming techniques and data structures -- Search techniques -- Meta-programming in prolog -- Building expert systems in prolog -- Natural language processing in prolog -- System simulation in prolog -- Appendices.
047157175X (paper)
92030399
Prolog (Computer program language)
Negation (Logic)
QA76.73.P76 / V36 1993
Techniques of Prolog programming : with implementation of logical negation and quantified goals / T. van Le. - xviii, 601 pages : illustrations ; 24 cm
System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
Introduction to prolog -- Declarative prolog programming -- Procedural prolog programming -- Control and side-effect features of prolog -- Development of prolog programs -- Advanced programming techniques and data structures -- Search techniques -- Meta-programming in prolog -- Building expert systems in prolog -- Natural language processing in prolog -- System simulation in prolog -- Appendices.
047157175X (paper)
92030399
Prolog (Computer program language)
Negation (Logic)
QA76.73.P76 / V36 1993
