Searched defs:Interchange (Results 1 - 1 of 1) sorted by relevance

/hets/doc/
H A DUserGuideCommonLogic.tex180 \item a parser for the Common Logic Interchange Format (CLIF) --- CLIF
239 \subsection{Common Logic and the Common Logic Interchange Format (CLIF)}
336 Interchange Format (CLIF) provides a Lisp-like syntax for Common

Completed in 21 milliseconds