logic-programming Prolog projects for the Department of Informatics and Telecommunications of the National and Kapodistrian University of Athens