hprolog
Реализация подмножества языка Prolog.
Руководство
-t [имя_файла] — показать дерево решений.
-r — итоговый результат.
-s — показывать решения по мере нахождения.
-d [секунды] — таймаут.
Реализация подмножества языка Prolog.
-t [имя_файла] — показать дерево решений.
-r — итоговый результат.
-s — показывать решения по мере нахождения.
-d [секунды] — таймаут.