1982 : Prolog II
un nouveau modèle théorique

"Pour spécifier ce nouveau Prolog, j'ai remplacé la notion d'unification par celle de résolution d'équations dans un domaine donné. Ceci m'a permis d'introduire les arbres infinis et aussi des relations du type ≠ :
la nouvelle unification ne risquait plus de tourner en rond et il était enfin possible, sans recourir à l'opération de coupure, de tester que deux objets étaient différents."

En Prolog, les objets sont des arbres, finis ou infinis. Les arbres jouent en effet un rôle fondamental en informatique — modélisant aussi bien des structures de données que des déroulements de programmes.

Illustrations

En 1984, la compagnie PrologIA est créée pour diffuser commercialement Prolog II.

Téléchargements

---