Home > Electronics Tutorials > Online Computer Terms Dictionary > E

Online Computer Terms Dictionary - E

EQLOG

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

 


Nearby terms: EPSIMONE EPSS EqL EQLOG EQLog Eqn equals
 

Discover

     more......