English Computing Dictionary
◊ EQLOG
EQLOG
Equality, types and generic modules for logic programming.
A language using Horn clauses. J.A. Goguen, J. Meseguer.
 epss  eql  eqlog  eqlog  eqn 
Copyright © 2022 NeoDict.Com. All rights reserved. Email: mailto:[email protected]