"Prolog Through Examples," - Kopnonenko (I) ;Laurac ( N) (1990)
15