BaroqueAn 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]
Last updated: 1995-02-22
barnacle code ♦ barney ♦ Baroque ♦ baroque ♦ barrel shifter ♦ barycentric
Try this search on Wikipedia, Wiktionary, Google, OneLook.