Mimir:Draft1 Chapter5

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


(TODO: START WIKIPEDIA)

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:

(END WIKIPEDIA)

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

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

Summary
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