gprolog gplc is really really nice but it's a little bit difficult to use it
with common C
development packages because the command line option makes it difficult to
use with pkg-config.
(pkg-config is a widespread utility which returns the flags necessary for
gcc to compile / use development libraries)