next up previous
Next: Functional Programming Up: What is this module Previous: Functional

Logic

The logical paradigm is arguably the least common, an example of it is in the language Prolog.

The idea is that a problem is proposed using logical propositions, and the answer determined using further supplied predicates. The aim of a program which follows this paradigm is to uncover the truths implied by the supplied predicates.