Tous les travaux que nous avons présenté ici peuvent être prolongés d'une
manière ou d'une autre.
Dans certains cas,
il s'agit de continuer la recherche sur
Prolog.
Dans d'autres cas,
notre expérience de la programmation logique nous fait penser à d'autres
formes qu'elle pourrait prendre.
Et enfin,
notre expérience en programmation en général nous suggère une forme
d'organisation qui est inspirée de la logique mais qui dépasse la programmation.
À tout cela s'ajoute la longue liste de questions non résolues et dont
nous ne parlerons pas ici.