Alain Colmerauer Henry Kanoui Michel Van Caneghem Last Steps Towards an Ultimate PROLOG. 947-948 1981 conf/ijcai/1981 IJCAI db/conf/ijcai/ijcai81.html#ColmerauerKC81