BlueProlog is a Prolog system implemented in Java. We implemented the Warren's Abstract Machine with unification, flat resolution and multiple optimizations.
More on BlueProlog (or PrologBlue): http://www.cs.sunysb.edu/~pfodor/blueProlog
Download: http://www.lmc.cs.sunysb.edu/~pfodor/blueProlog/blueProlog.jar
Documentation: http://www.lmc.cs.sunysb.edu/~pfodor/blueProlog/doc.html
Contact: Paul Fodor http://www.lmc.cs.sunysb.edu/~pfodor/
Email: pfodor A T cs.sunysb.edu
Applied Logic Laboratory
Computer Science Department
Stony Brook University
Stony Brook, NY 11794
Commercial Use
Modify
Distribute
Place Warranty
Sub-License
Private Use
Use Patent Claims
Hold Liable
Use Trademarks
Include Copyright
State Changes
Include License
Include Notice
These details are provided for information only. No information here is legal advice and should not be used as such.