Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Logic Programming

  • What is Logic Programming?
  • Various different perspectives and definitions possible:
    • Computations as deduction
      • Use formal logic to express data and programs
    • Theorem Proving
      • Logic programs evaluated by a theorem prover
      • Derivation of answer from a set of initial axioms
    • High level (non-precedural) programming language
      • Logic programs do not specifcy control flow
      • Instead of specifying how something should be computed, one states what should be computed
    • Procedural interpretation of a declarative specification of a problem
      • A LP systems procedurally interprets (in some way) a general declarative statement which only defines truth conditions that should hold

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.