Van Emden and Kowalsi extended Prolog(ID:7890/)
Predicate logic as programming language 1974
Extension of the Horn-clause logic in Prolog to the general case
Related languages
| Prolog |
=> |
Van Emden and Kowalsi extended Prolog | |
Generalisation of |
References:
Kowalski, R Logic for problem-solvmg DCL Memo 75, Dep Artificial Intelligence, U. of Edinburgh, Edmburgh, 1974
view details
Kowalski, R Predicate logic as programming language Proc IFIP Cong 1974, North-Holland Pub Co , Amsterdam, 1974, pp 569-574 view details
Source Kowalski, R Logic for problem-solvmg DCL Memo 75, Dep Artificial Intelligence, U. of Edinburgh, Edmburgh, 1974 view details
Van Emden, M. H. and R. A. Kowalski "The Semantics of Predicate Logic as a Programming Language" pp733-742 view details
Abstract: Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint 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 fixpoint semantics is a special case of model-theoretic semantics.
DOI
in [ACM] JACM 23(4) October 1976 view details
Kowalski, Robert A. "Prolog as a logic programming language"
University of London. Department of computing. Research reports DOC 81/26 1981 view details
in [ACM] JACM 23(4) October 1976 view details
|