forWE-COLLAB
Ragionamento deduttivo: Il calcolo dei predicati