Our LIPS Are Sealed Interfacing Logic and Functional Programming Systems

We report on a technique for interfacing an untyped logic language to a statically poly morphically typed functional language Our key insight is that polymorphic types can be interpreted as need to know speci cations on function arguments This leads to a crite rion for liberally yet safely invoking the functional language to reduce application terms as required during uni cation in the logic language This method called P uni cation enriches the capabilities of each language while retaining the integrity of their individual semantics and implementation technologies An experimental test has been successfully performed whereby a Horn clause logic programming HCLP interpreter written in Common Lisp was interfaced to the Standard ML of New Jersey system The latter implementation was employed i on untyped or dynamically typed data even though it is statically typed ii lazily even though it is strict and iii on alien HCLP terms such as unbound variables without the slightest modi catio