Computer Dictionary/Baroque

From En.18dao.net
Jump to: navigation, search


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)


Related Columns: ASCII, Dream Dictionary, Idiom Dictionary

Discussion about "Computer Dictionary/Baroque":

None Discussion Now.

Add Discussion