История изменений
Исправление note173, (текущая версия) :
Я использовал swi-prolog (для убунты есть в стандартном репозитории), среда — eclipse с pdt. Есть интерактивная консоль, подстветка синтаксиса, и вроде даже проверка на ошибки при наборе.
А, и даже отладчик встроенный работает.
Исходная версия note173, :
Я использовал swi-prolog (для убунты есть в стандартном репозитории), среда — eclipse с pdt. Есть интерактивная консоль, подстветка синтаксиса, и вроде даже проверка на ошибки при наборе.