LC control no. | sh 85107397 |
---|---|
Topical heading | Prolog (Computer program language) |
Variant(s) | Programming in Logic (Computer program language) |
See also | Declarative programming languages Logic programming languages |
Found in | Clark, K.L. micro-PROLOG, 1984: p. ix (micro-PROLOG is one of the Prolog family of logic programming languages (Prolog stands for PROgramming in LOGic)) Ennals, J.R. Beginning micro-PROLOG, 1983 (Prolog was designed and implemented in 1972 by Colmerauer and his colleagues in Marseilles) Wikipedia, July 19, 2007 (Declarative programming language ... Languages generally considered declarative ... Prolog) |