eqlog
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definitions of eqlog word
- noun Technical meaning of eqlog Equality, types and generic modules for logic programming. A language using Horn clauses. J.A. Goguen, J. Meseguer. 1
- noun Definition of eqlog in Technology 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. 1
Information block about the term
Parts of speech for Eqlog
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?