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

We recommend Mercury instead.

This page is linked from: Artificial Intelligence   Clump   Erlang   Fifth Generation Computer Systems   Janus   Joy   Lambda Prolog   Libra   Lisp machine   Mercury   Parsing   PL 101   Poplog   Qi   Ravi   Scheme   Screamer   The True Story of Ada   Warren Abstract Machine   {log}