OBJ2 plus logic programming based on Horn logic with equality. "EQLog: Equality, Types and Generic Modules for Logic Programming", J. Goguen et al in Functional and Logic Programming, D. DeGroot et al eds, pp.295-363, P-H 1986.

In addition suitable contents:
[ 2 ] [ al ] [ am ] [ an ] [ as ] [ B ] [ b ] [ ba ] [ base ] [ D ] [ du ] [ E ] [ ed ] [ er ] [ es ] [ et ] [ fo ] [ for ] [ Fun ] [ G ] [ gi ] [ Go ] [ gr ] [ gu ] [ h ] [ in ] [ io ] [ it ] [ J ] [ li ] [ logic programming ] [ lu ] [ M ] [ mm ] [ na ] [ nc ] [ ne ] [ ng ] [ O ] [ OBJ ] [ OBJ2 ] [ pe ] [ pl ] [ plus ] [ pr ] [ program ] [ programming ] [ Q ] [ QL ] [ quality ] [ ro ] [ root ] [ se ] [ T ] [ th ] [ ua ] [ us ]