Prolog implementation.

ИМХО, учится не важно на чем. Научишься - поймешь, что лучше.

swi-prolog

наиболее вменяемый сейчас дистрибутив - таки SWI-Prolog. заодно и на XPCE посмотреть можно - это GUI тулкит, идущий в комплекте

Будем щупать swi-prolog.

Кстати, еще не приступал читать умны книги, но что-то не пойму:

?- test :-
|    write("hello world"),
|    nl.
ERROR: Undefined procedure: (:-)/2
?- write("hello world").
[104, 101, 108, 108, 111, 32, 119, 111, 114, 108, 100]

Yes
?- 

В чем тут дело? почему `:-' неопределен?

// :(

Причем этот пример, идет вместе с документацией к swi-prolog.

// :(

загрузи его как [имяфайлавтекущейдирестории]

> загрузи его как [имяфайлавтекущейдирестории]

hmm, ну это я опытным путем выяснил, но в чем прикол интерпритатора тогда, если он не позволяет тестировать полноценные примеры? Это `фича' только swi-prolog или всех интерпритаторов пролога и с чем она связана?

// :(

У Пролога нет полноценного REPL, поскольку у него различаются определения и запросы. В REPL можно писать только запросы.