This software is an implementation of “FLENG”, a low-level concurrent logic programming language similar to Prolog. FLENG programs allow for massive parallelism at a fine-grained level. The software also provides a compiler to translate FLENG programs into assembly language for creating binary executables. Surprisingly, translators are available to convert programs from other high-level concurrent logic languages into FLENG. The implementation includes memory management using a reference-counting scheme and offers easy interfacing with native code. The author encourages suggestions for improvement and patches. Additionally, the software supports interactive debugging and includes various bug fixes and enhancements in each version update.
http://www.call-with-current-continuation.org/fleng/fleng.html