APPLOG <language> 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)