Logic programming : - Saraswat, Vijay; Ueda, Kazunori (Logic programming, 1991)