Jean François Pique Prolog II, A Step On the Prolog Road. 4-16 1988 1 AI Commun. 2 db/journals/aicom/aicom1.html#Pique88