Ο Λούκα Τόνι απειλεί το νικηφόρο σερί της Ίντερ.

7.5.3 Λογικός προγραμματισμός

επιμέλεια: ΔΗΜΗΤΡΗΣ ΜΠΟΥΜΠΟΥΓΙΑΤΖΗΣ

Ο λογικός προγραμματισμός (logic programming) είναι επηρεασμένος και εμπνευσμένος από τη μαθηματική λογική.

ΙΤΑΛΙΑ: Η ΙΣΧΥΡΗ ΦΙΟΡΕΝΤΙΝΑ ΑΠΕΙΛΕΙ ΤΗΝ ΙΝΤΕΡ

Ένα πρόγραμμα γραμμένο σε μια γλώσσα λογικού προγραμματισμού, όπως η Prolog, είναι ένα σύνολο από λογικές προτάσεις και από ένα μηχανισμό εξαγωγής συμπερασμάτων, μέσω του οποίου μπορούμε να υποβάλουμε ερωτήσεις στο πρόγραμμα και αυτό να μας απαντήσει αν αληθεύουν ή όχι.

Δοκιμασία στην Τοσκάνη

Για παράδειγμα, παρατίθεται ένα πρόγραμμα σε γλώσσα Prolog, που περιγράφει το γενεαλογικό δένδρο των θεών του Ολύμπου.

Την ώρα που η πρωτοπόρος Γιουβέντους δεν αναμένεται να ταλαιπωρηθεί ιδιαίτερα, για να περάσει το εμπόδιο τής άλλοτε κραταιής, αλλά 17ης φέτος Πάρμα, η διώκτρια των "μπιανκονέρι", Ίντερ, καλείται να πετύχει απόψε τη 12η νίκη της στα 13 τελευταία παιχνίδια σε μια από τις "κολασμένες" έδρες της serie A: το "Αρτέμιο Φράνκι" της Φλωρεντίας, όπου η παράδοσή της είναι εξόχως αρνητική (μόλις 14 νίκες και 24 ήττες σε 67 επισκέψεις)

Περιέχει ορισμένες λογικές προτάσεις που αφορούν ορισμούς συγγένειας.

Ο έξοχος Λούκα Τόνι των 22 φετινών γκολ για τη Φιορεντίνα (απειλεί το απόλυτο ρεκόρ των 35 γκολ του Γκούναρ Νόρνταλ με τη Μίλαν του 1950) αποτελεί τη μεγαλύτερη απειλή για τους "νερατζούρι", που ελπίζουν να διατηρήσουν τουλάχιστον τους οκτώ πόντους της διαφοράς από τη Γιουβέντους, για να μην χαθεί από νωρίς το ενδιαφέρον στο καμπιονάτο.

Η σύνταξη δεν είναι αυστηρή για λόγους αναγνωσιμότητας.

Για την 3η Μίλαν, η αναμέτρηση με την εκ των ουραγών Τρεβίζο αποτελεί ευκαιρία για "αντεπίθεση", ενώ η Ρόμα ψάχνει την 8η σερί νίκη της επί της Κάλιαρι.

Οι κανόνες "πατέρας" και "μητέρα" κωδικοποιούν το ποιος είναι πατέρας ή μητέρα ποιου, ενώ το "αδέλφια" ορίζει πως για να είναι δύο αδέλφια (ο Χ και ο Υ) πρέπει να έχουν τον ίδιο πατέρα ή την ίδια μητέρα (τον Ζ).

Η 24η αγωνιστική: Φιορεντίνα - Ίντερ, Γιουβέντους - Πάρμα, Μίλαν - Τρεβίζο, Ρόμα - Κάλιαρι, Άσκολι - Λιβόρνο, Κιέβο - Σαμπντόρια, Λέτσε - Έμπολι, Μεσίνα - Σιένα, Παλέρμο - Λάτσιο, Ουντινέζε - Ρετζίνα.

Στο μηχανισμό εξαγωγής συμπερασμάτων μπορούμε να υποβάλουμε την ερώτηση: "είναι ο Δίας πατέρας του Διόνυσου" και να μας απαντήσει "ΝΑΙ" ή να ρωτήσουμε "ποια είναι τα αδέλφια του Άρη" και να απαντήσει "ο Διόνυσος".

ΡΕΒΑΝΣ για τον χαμένο προπέρσινο τελικό του "Copa del Rey" (3-2) ψάχνει η Ρεάλ Μαδρίτης από τη Σαραγόσα, στον αποψινό πρώτο ημιτελικό. Η "βασίλισσα" φιλοξενείται από τη… φόνισσα της Μπάρτσα στα προημιτελικά, σε έναν θεσμό, όπου μετρά διαρκώς αποτυχίες από το 1993! Οι ημιτελικοί: Σαραγόσα - Ρεάλ Μαδρίτης (σήμερα), Εσπανιόλ - Λα Κορούνια (αύριο).

ΕΥΚΑΙΡΙΑ να μειώσει τη διαφορά της στους τρεις από τη 2η Μάντσεστερ έχει απόψε η Λίβερπουλ, που φιλοξενείται στο Λονδίνο από την Τσάρλτον.

Επίσης, για το κύπελλο Αγγλίας, η Τσέλσι υποδέχεται την Έβερτον για μια θέση στους "16".