EQLOG


Meaning of EQLOG in English

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

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.