Avant d'entrer dans le vif du sujet, on commence par donner quelques informations concernant les sessions Prolog : comment les démarrer, ouvrir un programme, exécuter une fonction...
Pour lancer une session Prolog, on tape dans un terminal :
$ prolog
Une fois le programme Prolog lancé, on se retrouve dans un environnement interactif dans lequel le système attend une instruction :
?-
Pour charger un programme Prolog on utilise l'instruction consult comme suit, et sans oublier le point à la fin :
?-consult('name_of_the_file_with_the_program').
Cela ajoute les clauses définies dans le fichier aux clauses chargées au démarrage de Prolog. Après modification et pour recharger le programme, on utilise l'instruction reconsult comme suit :
?-reconsult('name_of_the_file_with_the_program').
On lance le programme en appelant comme suit une des procédures définies à l'intérieur de celui-ci :
?-procedure_name(parameters).
Enfin pour quitter l'environnement interactif, on utilise la commande halt. en n'oubliant pas le point.