Support logic programming and its implementation in Prolog. - M. R. M. Monk (1989)