Termination criteria. Terminate when the list is empty. The pattern for this is: % 1 terminating condition rule([]) :- some_processing([]).