Prolog is a *(programming language) based on Horn-Clause *(logic) (not
even full first-order logic).

We recommend _(Mercury) instead.

<UL CLASS="links">
<LI><A HREF="http://www.faqs.org/faqs/prolog/">FAQ</A></LI>
</UL>