/* * Interface to code that implements an interpreter for Horn * clause logic */ sig hc_interp. accum_sig logic_types, logic_basic, logic_vocab. exportdef hc_interp (list form) -> form -> o.
distrib
>
Mandriva
>
8.2
>
i586
>
media
>
contrib
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
>
11
