Baroque

<programming, language, history>

A logic programming language created by Boyer and Moore in 1972.

["Computational Logic: Structure Sharing and Proof of program Properties", J. Moore, DCL Memo 67, U Edinburgh 1974].

[Jargon File]

Last updated: 1995-02-22

Nearby terms:

barfmailbarnacle codeBaroquebaroquebarrel shifterbarycentric

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Loading