(1) Διατυπώσεις σχετικά απλών κανόνων σε κατηγορηματική λογική - πώς οι αποφάσεις διατύπωσης μπορεί να επηρεάσουν το λογικό προγραμματισμό σε Prolog
(2) διατυπώσεις σύνθετων κανόνων σε Κατηγορηματική Λογική - πώς μπορούμε να προσεγγίσουμε το πρόβλημα τμηματικά