Logic Programming

A PowerPoint presentation on

A programming paradigm based on
-->mathematical logic
-->predicate calculus = propositional calculus + quantification
-->propositional calculus

• has axioms - believed to be true

• logically derived other axioms using logical operators such as logical AND, logical OR, negation, implication

Link to download