A language in which a program is a set of logical facts and rules and computation proceeds by logical inference over them, matching ACM Computing Classification System Language types: Logic / declarative languages. Belongs here: Prolog, the atlas's sole logic-language entity. Does not belong here: a language that is declarative in a narrower sense, such as a query language, filed under Query Language.
Facts
Comparison
Era of Emergence Browse By
Sources
1. Wikipedia: Logic programming
WikipediaLogic programming, History sectionQuote, Logic programming, History section
The first Prolog program, also written in 1972 and implemented in Marseille, was a French question-answering system.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.