The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies

Prolog (Computer program language)

LC control 85107397
Topical headingProlog (Computer program language)
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Programming in Logic (Computer program language)
See alsoDeclarative programming languages
    Browse this term in  LC Authorities
Logic programming languages
    Browse this term in  LC Authorities
Found inClark, 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)