<prolog goal=„s(X), write(X), fail” cache=„true” > s(aaaa). s(aaaasd). </prolog>

<prolog> ala(ma). ala(kota). kot(ciapki). kot(paski). </prolog>