BAROQUE


Meaning of BAROQUE in English

An early logic programming language written 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 ]

(1995-02-22)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.