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 and notes together  slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Help page about these notes  Alphabetic index  Course home  Lecture 1 - Page 7 : 8
Functional Programming in Scheme
Programming Paradigms
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