Clone wiki

inf225public / 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.

[Wikipedia]

Updated