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, са Филипом Роуселом, користи ово двоструко тумачење одредби као основу за Пролог, који је реализован у лето и јесен 1972.