Bertram Fronhöfer PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. 15-17 1987 IJCAI db/conf/ijcai/ijcai87.html#Fronhofer87