Я думаю, что эквивалент leanyouahaskell будет Learn Prolog Now .
также, проверьте этот вопрос
Это также может помочь переоценить(или, вернее, верните назад xD) ваше определение логического; например,
, когда у вас есть
x=3
2x=x+1
, вы обычно делаете вывод, что нет x, удовлетворяющего этой системе уравнений, а не то, что x является первым3, а затем 1: b
в любом случае, правда, что это немного сложно настроить;удачи на экзамене!