EQLOG
Equality, types and generic modules for logic programming. A language using Horn clauses. J.A. Goguen, J. Meseguer.Nearby terms:
epsilon squared ♦ EPSIMONE ♦ EPSS ♦ EqL ♦ EQLOG ♦ EQLog ♦ Eqn ♦ equals ♦ equational logic
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
