Foundations of logic programming

Book · Sun Jan 01 00:00:00 EST 1984

OSTI ID:5652852

Lloyd, J W

The author provides an account of the mathematical foundations of logic programming. The reader should have a strong background in mathematics and be familiar with a logic programming language such as PROLOG. Includes chapter problems, references for further study, and a subject index. Contents: Declarative semantics. Procedural semantics. Negation. Perpetual processes. Index.

• OSTI ID: 5652852
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ARTIFICIAL INTELLIGENCE
MATHEMATICS
PROLOG
PROGRAMMING
MATHEMATICAL LOGIC
REVIEWS
DOCUMENT TYPES
PROGRAMMING LANGUAGES
990200* - Mathematics & Computers