PakCat catalogue record

Meta programming in logic programming

By Abramson, Harvey

Bibliographic details

ISBN
0262510472
Publisher
cambridge
Publication place
Massachusetts
Publication year
1989
Language
English
Material type
Book
Physical description
544 p .

Subjects

Logic programming

Related catalogue records

Logic, programming, and Prolog Nilsson, Ulf Computing with logic Maier, David Discrete structures, logic, and computability Hein, James L. Constraint handling rules Frühwirth, Thom Programming logic and design Farrell, Joyce Programming logic and design Farrell, Joyce Constraint logic programming using ECLiPSe Apt, Krzysztof R. Programming logic and design Farrell, Joyce