Foundations of logic programming
Book
·
OSTI ID:5652852
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
Similar Records
Parallel execution of logic programs
Logic programming: Functions, relations and equations
Principles of programming languages: design
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6487839
Logic programming: Functions, relations and equations
Book
·
Mon Dec 31 23:00:00 EST 1984
·
OSTI ID:5315621
Principles of programming languages: design
Book
·
Fri Dec 31 23:00:00 EST 1982
·
OSTI ID:5724317