Overview of the logic paradigm

Lecture overview -- Keyboard shortcut: 'u'

Previous page: Overview of the functional paradigm -- Keyboard shortcut: 'p'

Next page: Overview of the object-oriented paradigm -- Keyboard shortcut: 'n'

Lecture notes - all slides together

Annotated slide -- Keyboard shortcut: 't'

Textbook -- Keyboard shortcut: 'v'

Alphabetic index

Help page about these notes

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