Title: The logical structure of sequential prolog