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