Σε αυτή την εργασία παρουσιάζουμε πως μετατρέπουμε λογικές προτάσεις σε γλώσσα υψηλού προγραμματισμού. Για να το πετύχουμε πρέπει να ορίσουμε μια θεωρητική περιγραφή αλγορίθμου. Δηλαδή θα βρίσκουμε ένα τρόπο να παίρνουμε ...