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

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

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.