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)

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ arg ] [ at ] [ B ] [ b ] [ by ] [ C ] [ ch ] [ CL ] [ D ] [ DC ] [ DCL ] [ du ] [ E ] [ er ] [ es ] [ fi ] [ file ] [ ge ] [ gh ] [ gi ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ it ] [ J ] [ Jargon File ] [ la ] [ language ] [ Lex ] [ logic programming ] [ ly ] [ M ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ ng ] [ om ] [ op ] [ pe ] [ ph ] [ pr ] [ program ] [ programming ] [ query ] [ rc ] [ re ] [ rl ] [ ro ] [ ru ] [ S ] [ se ] [ tr ] [ tt ] [ ua ] [ ye ]