רשימת_חמורים(_רשימה):-
מצא_כל(_מספר,אבג(חמור,_מספר),_רשימה).מספר_פעמים(_מספר_פעמים):-
רשימת_חמורים(_רשימה),מספר_איברים_ברשימה(_מספר_פעמים,_רשימה).
ותצא מנקודת הנחה שאין אותו מספר לשני חמורים.
אין צורך לשים מתאר בראש החוק כי הרי החוק מבקש את מספר החמורים, אז ברור שלכולם יהיה מתאר חמור (אתה יכול גם לשים קבוע בראש החוק)