Τι είναι η Prolog; ορισμός & νόημα

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

Είναι ένα αρκτικόλεξο για τον προγραμματισμό στο LOGic και είναι μια δηλωτική γλώσσα. Αυτό σημαίνει ότι αντί να λέει στον υπολογιστή ποια ακριβώς βήματα πρέπει να ακολουθήσει, ο προγραμματιστής περιγράφει το πρόβλημα που πρέπει να λυθεί.

Η Technipages Explains Prolog

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

Στην SQL, είναι δυνατό να ρωτήσετε μια βάση δεδομένων «Είναι η Susan Maier άνω των 18;», εφόσον υπάρχουν οι πληροφορίες. Σε μια δηλωτική γλώσσα προγραμματισμού, αυτό δεν είναι δυνατό, αλλά αντίθετα είναι δυνατό να λυθούν μαθηματικά προβλήματα περιγράφοντάς τα προσεκτικά.

Η Prolog είναι ιδιαίτερα κατάλληλη για εργασία με τεχνητή νοημοσύνη και υπολογιστική γλωσσολογία. Οι εκφράσεις και ο κώδικας γράφονται με όρους σχέσεων, γεγονότων, κανόνων και προτύπων. Στη συνέχεια εκτελείται ένας πραγματικός υπολογισμός με την εισαγωγή πληροφοριών που αντιμετωπίζονται σύμφωνα με αυτά τα πρότυπα.

Η Prolog είναι επίσης η πιο δημοφιλής γλώσσα λογικού προγραμματισμού και είναι από τη σύλληψή της το 1972. Οι λογικές γλώσσες προγραμματισμού βασίζονται σε σαφώς καθορισμένους κανόνες, καθιστώντας τις πολύ διαφορετικές από τον αντικειμενοστραφή προγραμματισμό (ο τύπος γλώσσας που χρησιμοποιείται συχνά σε λογισμικό προσανατολισμένο στον χρήστη).

Κοινές χρήσεις του Prolog

  • Το Prolog είναι συντομογραφία του PROgramming in LOGic και σχεδιάστηκε για πρώτη φορά το 1972 από τον Alain Colmerauer και την ομάδα του στη Γαλλία.
  • Σήμερα, η Prolog είναι πολύ δημοφιλής στην έρευνα τεχνητής νοημοσύνης και σε εφαρμογές που υποστηρίζουν τη μηχανική εκμάθηση.
  • Σε σύγκριση με γλώσσες όπως η PHP ή η Java, η Prolog είναι προσανατολισμένη στη λογική, πράγμα που σημαίνει ότι λειτουργεί μέσω ενός ακριβούς συνόλου κανόνων μοναδικών για κάθε εφαρμογή.

Συνήθεις κακές χρήσεις της Prolog

  • Το Prolog είναι το πρώτο τμήμα οποιουδήποτε κομματιού κώδικα.