Как запустить код в прологе?

Выручайте, у меня по учебе Prolog идет, а я вообще не принимаю его никаким образом.

Помогите кто разбирается в нем.

count(X,X,1):-!. 
count(_,Y,0):-atomic(Y),!. 
count(X,Y,N):- 
        Y=..[_|Subs], 
        count_list(X,Subs,N).        
count_list(_,[],0):-!. 
count_list(X,[H|T],N):- 
        count(X,H,N1), 
        count_list(X,T,N2), 
        N is N1+N2. 
                                
start:-read(S),read(Sl),count_list(Sl,S,N),write('N = '),write(N).

Я это код честно стырил, а как запустить не знаю.

надо в старт передать два параметра...

Синтаксически не могу понять как это делается, как только не пытался, дает либо ошибку синтаксиса либо "procedure `(A:-B)' does not exist"