Bernard Migault François Rousselot Laurent Cervoni Prolog as a Host Language. 890 1991 ICLP db/conf/iclp/iclp91.html#MigaultRC91