APPLOG

A language which unifies logic programming and functional programming.

["The APPLOG Language", S. Cohen in Logic Programming, deGroot et al eds, P-H 1986, pp.39-276].