

Release Notes: B-Prolog is a commercial product now, but is available for educational use.


Release Notes: In addition to Edinburgh-style programs, this version accepts canonical-form programs that can be compiled into more compact and faster code than standard Prolog programs.