agate-prieur documents

RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats
Documents RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats