:- ['/home/mros/www/prologcc/code/utils'].

big(bear) :-
 inc(big).

big(elephant) :-
 inc(big).

small(cat) :-
 inc(small).
 
brown(bear) :-
 inc(brown).

black(cat) :-
 inc(black).

grey(elephant) :-
 inc(grey).

dark(X) :- black(X).

dark(X) :- brown(X).

test(X) :-
 initcounter(big),
 initcounter(small),
 initcounter(brown),
 initcounter(black),
 initcounter(grey),
 dark(X), big(X),
 writev(big),
 writev(small),
 writev(brown),
 writev(black),
 writev(grey).

test2(X) :-
 initcounter(big),
 initcounter(small),
 initcounter(brown),
 initcounter(black),
 initcounter(grey),
 big(X), dark(X),
 writev(big),
 writev(small),
 writev(brown),
 writev(black),
 writev(grey).