| Title | Extensions |
|---|---|
B-Prolog |
bprolog |
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.