WARPLAN A system for generating plans DCL Memo 76, Dep. of Artlflcml Intelhgence (1974)

by D H D WARREN
Venue:RECEIVED MARCH 1974, REVISED APRIL 1976 Journal of the Association for Computing Machinery. Vol 23. No 4
Add To MetaCart
Results 1 - 1 of 1

The Semantics of Predicate Logic as a Programming Language

by M. H. Van Emden, R. A. Kowalski - Journal of the ACM , 1976
"... ABSTRACT Sentences in first-order predicate logic can be usefully interpreted as programs In this paper the operational and fixpomt semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded that operational ..."
Abstract - Cited by 641 (11 self) - Add to MetaCart
ABSTRACT Sentences in first-order predicate logic can be usefully interpreted as programs In this paper the operational and fixpomt semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded that operational semantics is a part of proof theory and that fixpolnt semantics is a special case of model-theoret:c semantics KEY WORDS AND PHRASES predicate logic as a programming language, semantics of programming languages, resolution theorem proving, operaUonal versus denotatlonal semantics, SL-resoluuon, flxpomt characteriza-tion