APPLOG

A language that unifies logic and functional programming.

"The APPLOG Language", S. Cohen in Logic Programming, Functions, Relations and Equations, Doug deGroot et al eds, Prentice-Hall, 1986, pp.39-276.