Amzi! Prolog + Logic Server™ is an embeddable, extendable, highly portable implementation of ISO standard Prolog, including full support for ISO modules enabling large-scale application development. http://www.amzi.com/Prolog + Logic Server source repository: https://github.com/AmziLS/apls