P-logic Voorbeeld