H ? « ‹ ← → › »

Language peer sets for Van Emden and Kowalsi extended Prolog:
United Kingdom↑
United Kingdom/1974↑
Designed 1974 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

Van Emden and Kowalsi extended Prolog(ID:7890/)

alternate simple view
Country: United Kingdom
Designed 1974

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, (1974) Kowalski, R Logic for problem-solvmg DCL Memo 75, Dep Artificial Intelligence, U. of Edinburgh, Edmburgh, 1974
  • (1974) Kowalski, R Predicate logic as programming language Proc IFIP Cong 1974, North-Holland Pub Co , Amsterdam, 1974, pp 569-574
  • Source Kowalski, R Logic for problem-solvmg DCL Me (1974) Source Kowalski, R Logic for problem-solvmg DCL Memo 75, Dep Artificial Intelligence, U. of Edinburgh, Edmburgh, 1974
  • Van Emden, M. H. and R. A. Kowalski (1976) Van Emden, M. H. and R. A. Kowalski "The Semantics of Predicate Logic as a Programming Language" pp733-742 Abstract DOI
          in [ACM] (1976) [ACM] JACM 23(4) October 1976
  • Kowalski (1981) Kowalski, Robert A. "Prolog as a logic programming language" University of London. Department of computing. Research reports DOC 81/26 1981
          in [ACM] (1976) [ACM] JACM 23(4) October 1976
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder