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].
(1995-01-25)