Gnu prolog.

[Tom Howland]

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

"Waylander" <kalath at mailcity.com> writes:

> Just found GNU prolog on the gnu website (www.gnu.org ) 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

	http://www.gnu.org/software/prolog/prolog.html

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

	http://www.cs.mu.oz.au/research/mercury/information/benchmarks.html