Есть ли чтонить приличное под линукс. А то в универе щас у меня это дело. Можно конечно и турбопролог под DosEmu запустить. Но я на эту жуть смотреть не могу, не то что кодить.
не нужен ide для пролога, там думать надо много, а писать совсем мало.
в качестве компилятора можно swi взять, НО разные реализации обычно не полностью совместимы меж собой. т.е. если у тебя есть программа для турбопролога, то её, скорее всего, прийдётся допиливать для swi, и наоборот. самая популярная реализация сейчас, кажется, visual prolog (наследник turbo prolog'а). а swi, говорят, медленный. но для учебы он очень даже хорош.