- fill in content
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:
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...
A quick summary of the chapter should go here
A list of key terms should go here. This should be created using some sort of glossary type plugin.
A list of practice problems