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)