Logic programming languages in which a program is a set of facts and rules and the system searches for answers. Prolog is the best known, with roots in first-order logic, artificial intelligence and computational linguistics, and Datalog is a declarative logic language that is syntactically a subset of Prolog. Prolog has its origins in artificial intelligence, automated theorem proving and computational linguistics, and Datalog generally evaluates programs bottom-up rather than top-down.
Browse By
Prolog and Its Close Relatives
Filter Results3 entries
Sources
Visual Prolog (Wikipedia)
Wikipedia: Prolog
Wikimedia FoundationHas Member: Prolog, LeadQuote, Has Member: Prolog, Lead
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics.
Datalog - Wikipedia
Has Member: Datalog, LeadQuote, Has Member: Datalog, Lead
Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model.
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.