Gnu prolog.

Tom Howland tom at
Tue Mar 23 03:25:13 AEDT 1999

The following message is a courtesy copy of an article
that has been posted to comp.lang.prolog as well.

"Waylander" <kalath at> writes:

> Just found GNU prolog on the gnu website ( ) under unfinished
> projects. It looks finished and very usable with lots of good features. Has
> anybody used it yet? How does it compare to other prologs?

a Prolog native compiler with constraint solving over Finite Domains

I would think that this will become a very widely used Prolog. I
haven't used it, but its predecessor (wamcc) compared favorably to
commercial prologs.

Some benchmarking of wamcc is at

More information about the users mailing list