Consider, for example, the following clause: fallible(X) :- human(X). based on an example used by Terry Winograd to illustrate the programming language Planner.
Узмимо, на пример, следећу клаузулу: непоуздан(X) :- човек (X). заснована на пример користи Terry Winograd  да илуструје програмски језик Planner.