Equality, types and generic modules for logic programming. A language using Horn clauses. J.A. Goguen, J. Meseguer.

In addition suitable contents:
[ ag ] [ al ] [ am ] [ an ] [ au ] [ cl ] [ clause ] [ du ] [ E ] [ eg ] [ er ] [ es ] [ fo ] [ for ] [ G ] [ ge ] [ gen ] [ gi ] [ Go ] [ gr ] [ gu ] [ Horn clause ] [ in ] [ it ] [ J ] [ la ] [ language ] [ li ] [ logic programming ] [ M ] [ mm ] [ mo ] [ mod ] [ module ] [ ne ] [ ng ] [ pe ] [ pr ] [ program ] [ programming ] [ quality ] [ ro ] [ se ] [ si ] [ type ] [ ua ] [ us ]