EQLog
OBJ2 plu s logic programming ba sed on Horn logic with equality. "EQLog: Equality, Type s and Generic Module s for Logic Programming", J. Goguen et al in Functional and Logic Programming, D. DeGroot et al ed s, pp.295-363, P-H 1986. style="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">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 ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (2045 Reads) |