Logic programming : systematic program development /
Deville, Yves,1960-
Wokingham : Addison-Wesley,
1990.
Bibliography : p315-329. - Includes index
Prolog (Computer program language)