Εφαρμογές της Λογικής στην Πληροφορική project