H ? « ‹ ← → › »

Language peer sets for Baroque:
United Kingdom↑
United Kingdom/1972↑
Designed 1972 ↑
1970s languages ↑
Third generation↑
High Cold War↑

Baroque(ID:576/bar001)

Logic programming language 

alternate simple view
Country: United Kingdom
Designed 1972
Published: 1972

Boyer & Moore, Edinburgh, 1972.

Logic programming language with non-logic programming features

Kowalski:
"assembly-like programming language that provided list processing and arithmetic primitives defined by Horn clauses and interpreted by a structure- sharing SL-resolution theorem prover with a depth-first search strategy"


Places
References:
  • Bayer, R.S., and Moore, JS. (1972) Bayer, R.S., and Moore, JS. "The sharing of structure in theorem proving programs" pp101-116
          in (1972) "Machine Intelligence 7", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1972
  • Moore, J S. (1973) Moore, J S. "Computational logic: Structure sharing and proof of program properties" Ph D. Department of Computational Logic, School of Artif Intel., U. of Edinburgh, Edinburgh, 1973.
          in (1972) "Machine Intelligence 7", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1972
  • Moore, J. (1974) Moore, J. "Computational logic: Structure sharing and proof of program properties, Parts I and II" Department of Computational Logic Memo 67, School of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, U.K., 1974.
          in (1972) "Machine Intelligence 7", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1972
  • Boyer. R.S.. and Moore, JS. (1975) Boyer. R.S.. and Moore, JS. "Proving theorems about LISP functions" pp129-144 Abstract DOI
          in [ACM] (1975) [ACM] JACM 22(1) January 1975
  • Kowalski, Robert A. (1988) Kowalski, Robert A. "The early years of logic programming" pp38-43 Abstract Extract: Kowalski on Baroque
          in [ACM] (1988) [ACM] CACM 31(01) (Jan 1988).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder