logical structure of sequential prolog | lit.salon