Equality, typeS and generic moduleS for logic programming. A language uSing Horn clauSeS. J.A. Goguen, J. MeSeguer.

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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 ]