5798986
9780471926252
FOUNDATIONS. Preliminaries. Definite Logic Programs. SLD-Resolution. Negation in Logic Programming. Towards Prolog: Cut and Arithmetic. PROGRAMMING IN LOGIC. Logic and Databases. Programming with Recursive Data Structures. Amalgamating Object- and Meta-Language. Logic and Expert Systems. Logic and Grammars. Searching in a State-Space. ALTERNATIVE LOGIC PROGRAMMING SCHEMES. Logic Programming and Concurrency. Logic Programs with Equality. Constraint Logic Programming. Appendices. Bibliography. Index.Nilsson, Ulf is the author of 'Logic, Programming and PROLOG', published 1990 under ISBN 9780471926252 and ISBN 0471926256.
[read more]