7.2 FrogProlog

FrogProlog is a Prolog to C++ compiler. The speed is comparable to state-of-the-art Prolog Just-In-Time compilers. It supports all basic features of Prolog and implements a basic subset of the Prolog Runtime Library.