Выполняю лабораторные работы.
Для винды есть PDC Prolog и Visual Prolog, а что для Linux? Чтоб с графическим интерфейсом и не сильно замороченно.
Устанавливал gprolog - это что-то древне-консольное, а так же Swi-prolog - так и не запустился.

Если кто имел опыт, направьте в нужное русло.
