Какой из известных интерпретаторов Prolog-a сможет расшифровать этот код?

Question

[Савва Корпс]

Есть код Пролога для нахождения сочетаний в данном списке

comb(0,_,[]).
comb(N,[X|T],[X|Comb]):-N>0,N1 is N-1,comb(N1,T,Comb).
comb(N,[_|T],Comb):-N>0,comb(N,T,Comb).

Но ни gnu, ни swi его запустить не могут. Один не приемлет пустые скобки, другому кажется, что предикат comb никогда не был идентифицирован. Пожалуйста, помогите в определении интерпретатора языка, и по возможности, с переводом на gnu.

Answer 1

[Савва Корпс]

Ответ самому себе спустя год. Отлично запускает и работает swish.swi-prolog.org, по идее это усеченная версия Swi, но как ни странно, в отличие от этого Swi работает безотказно