Prolog implementation based on Warren's abstract machine
Primary LanguageCommon LispThe UnlicenseUnlicense