[not loaded]All predicatesShow sourcehamiltonian_scasp.pl