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].
Computing Dictionary