Ένα πρόγραμμα της Prolog είναι μία συλλογή από γεγονότα και κανόνες που χρησιμοποιούνται για να αποδειχθούν κάποιες προτάσεις.

Αρχικά ο χρήστης εισάγει τα δεδομένα ενός προβλήματος στο περιβάλλον της Prolog.

Κατόπιν θέτει ερωτήματα γύρω από αυτά ή τις σχέσεις τους και λαμβάνει απαντήσεις.

Οι απαντήσεις που δίνονται σε κάθε ερώτημα αξιοποιούν αποκλειστικά τα γεγονότα και τους κανόνες που έχουν εισαχθεί στο εκάστοτε πρόγραμμα.

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