Monografia (1986) The art of Prolog : advanced programming techniquesMonografia (1986) The art of Prolog : advanced programming techniques