Increase variable X by 1

[Kazzal]

Is there an increment function. Or is there count function that could be used to count whether something exists in a list of clauses.?

 

[joel76]

To count things in a list, you can use this prototype :

% count(List_to_test, Object_to_count, Number_of_occurence)

% when list is empty, 0 object
count([], _, 0).

count([H | T], Object, N) :-
	% we test the rest of the list
	count(T, Object, N1),
	% We test if object fits with H
	(   my_test(H, Object) -> N is N1+1; N = N1).

 

[Kazzal]

Thankyou.