Logic Programming is the *(term) for a _(paradigm) of programming that originates in the _(Curry-Howard Isomorphism), which relates types and proofs to terms and expressions. In most cases, logical deduction or inference is equated with term evaluation or state update.

<ul class="links">
<li><A HREF="http://www.comlab.ox.ac.uk/archive/logic-prog.html">logic programming archive</A>
</ul>
