GNU Prolog оценки

Это бесплатный компилятор Prolog с разрешения ограничений над конечными доменами