Gambol is a modification of the Frolic system available at the CMU AI Repository, wrapped up in ASDF. A full list of the modifications can be found at the library web site.
A mantained GitHub source is here.
BSD/MIT license
prolog