Mimir:Draft1 Chapter5

From Openitware
Jump to: navigation, search

Back to Table of Contents


Chapter TODOs

  • fill in content
  • summary
  • exercises

Chapter 5: Logic Programming

"If you want to gather honey, don't kick over the beehive."

The Logic Paradigm

Loop image.png


Logic programming is a programming paradigm based on formal logic. A program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, Answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses:




Introduction about prolog. It's history, uses, unique attributes, etc...


Stuff about the structure would go here... data types, how its written, common functions, etc...

Data Types

Common Functions


A quick summary of the chapter should go here

Key Terms

A list of key terms should go here. This should be created using some sort of glossary type plugin.

Problem Sets

A list of practice problems