Moved to an open source repository, now at:

http://code.google.com/p/binprolog/ (BinProlog)

and

http://code.google.com/p/jinniprolog/ (Jinni Prolog).

Check out also our newest Scala-based Prolog at:

http://code.google.com/p/styla/ (Styla).

Enjoy,

Paul Tarau

http://www.cse.unt.edu/~tarau/