С прологом я вообще не знаком. Хотелось бы познакомится. Поставил какой-то swi-prolog но даже не знаю, как им пользоватся. Едва удалось зыкрыть. Хотелось бы нормальный компилятор, что бы можно было как в gcc или g++: ввожу путь к файлу а он мне его компилит и выдает готовую программу. Мож с этим самым swi-prolog'ом такое возможно? Если нет, то что посоветуете?