Colmerauer, with Philippe Roussel, used this dual interpretation of clauses as the basis of Prolog, which was implemented in the summer and autumn of 1972.
Colmerauer s Philippem Rousselem použili tuto duální interpretaci jako základ pro Prolog, který byl implementován během léta a podzimu roku 1972.