It was in the following summer of 1972, that Kowalski, again working with Colmerauer, developed the procedural interpretation of implications.
Následující léto roku 1972 Kowalski opět za spolupráce s Colmerauerem, vytvořil procedurální interpretaci implikace.