1 minute, 47 seconds
Programming Paradigms
- slide 7 : 8
Overview of the logic paradigm
Answer a question via search for a solution
Characteristics:
Discipline and idea
Automatic proofs within artificial intelligence
Based on axioms, inference rules, and queries.
Program execution becomes a systematic search in a set of facts, making use of a set of inference rules
Foldoc: logic programming
