EQLOG

0.01 sec.

1.		EQLOG - Equality, types and generic modules for logic programming. A language using Horn clauses. J.A. Goguen, J. Meseguer.
2.		EQLog - 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.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Epsilonematoidea EPSIMONE Epsom Epsom and Ewell epsom salt Epsom salts Epsomite Epson emulation EPSS Epstein Epstein, Jacob Epstein, Sir Jacob Epstein-Barr virus EPT EPT port Eptesicus EPUB Epulis epure épure Epworth Poltergeist EPXMA EQ Eqbal, Abbas EqL EQLOG Eqn equal equal altitudes Equal Employment Opportunity Commission equal error rate equal listener response scale equal loudness contour Equal Opportunity Day Equal Pay Act equal protection Equal Rights Equal Rights Amendment equal ripple equal ripple property equal sets equal tails test equal temperament equal-area latitude equal-area map projection equal-areas law equal-arm balance equal-energy source equal-field system equal-time rule equal-zero indicator			EQEBN EQEC EQEEB eQEP EQF EQFC EQFL EQFM EQFS EQG EQGT eQHIP EQHS EQI EQIA EQID EQILD EQIP eQIPP EQIS EqL EqL EQLC EQLI EQLIPSE EQLOG EQLS EQLT EQM EQMB EQMC EQMM EQMNT EQMS Eqn Eqn EqNBW EQNEEDF EQNET EQNOUN EQNSN EQO EQOA EQOA:F EQOL EQOS EQP EQPAC EQPB EQPF EQPL

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.