B-Prolog is a high-performance implementation of the standard Prolog language with several extended features including matching clauses, action rules for event handling, finite-domain constraint solving, arrays and hash tables, declarative loops, and tabling.

There is one publicly available implementation of B-Prolog, available from the B-Prolog website.

All the B-Prolog models can be downloaded as a zip file