Wiki
Clone wikiinf225 / glossary / Logic programming
[Alphabetical Index | Tag Index]
Logic programming
A declarative programming paradigm based on formal logic, inference and reasoning. Useful for many purposes, including formal specification of language semantics. Prolog is the most well-known logic language.
Updated