Yoshiyuki Koseki Amalgamating Multiple Programming Paradigms in PROLOG. 76-82 1987 IJCAI db/conf/ijcai/ijcai87.html#Koseki87