marque

n : a name given to a product or service [syn: {trade name}, {brand},

{label}]

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)