About us
Define
Definitions for
"Hterm"
A Hilog term, generalizing Atom and Cterm. (See: holog module, and the SWSL submission to the W3C)
ruleml.org