<strong>Pro</strong>gramming in <strong>log</strong>ic is a *(programming language) based on Horn-Clause *(logic) (not even full first-order logic).

We recommend _(Mercury) instead.

<ul class="links">
<li>_(dmoz) entry _("Prolog"|http://dmoz.org/Computers/Programming/Languages/Prolog/)
<li>Wikipedia entry _("Prolog"|http://en.wikipedia.org/wiki/Prolog_programming_language)
<li>_("FAQ"|http://www.faqs.org/faqs/prolog/)
<li>_("Is the ISO Prolog standard taken seriously?"|http://www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a) an article by Roberto Bagnara
<li>_("logic-programming.org"|http://logic-programming.org/) actually empty
</ul>

<ul class="implementations">
<li>_("Open Prolog"|http://www.cs.tcd.ie/open-prolog/)
<li>_("Ciao Prolog"|http://www.clip.dia.fi.upm.es/Software/Ciao)
<li>_("GNU Prolog"|http://gnu-prolog.inria.fr)
<li>_("YAP Prolog"|http://www.ncc.up.pt/~vsc/Yap)
<li>_("SWI Prolog"|http://www.swi-prolog.org)
<li>_("Visual Prolog"|http://www.visual-prolog.com)
<li>_("SICStus Prolog"|http://www.sics.se/sicstus/)
<li>_("Amzi! Prolog"|http://www.amzi.com/)
<li>_("The CLP(BN) Prolog System"|http://www.ncc.up.pt/~vsc/Yap/clpbn/) integrating Bayesian variables with the logic programming framework
</ul>
