Mimir:Draft1 Chapter5

From Openitware
Jump to: navigation, search

Back to Table of Contents


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

(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)

Prolog

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...

Data Types

Common Functions

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