Baroque

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)

Try this search on Wikipedia, OneLook, Google

Nearby terms: barfulation « barfulous « barney « Baroque » baroque » barrel shifter » barycentric

Copyright 2010 Denis Howe