The odict library defines a unifier over feature structures and term-expansion/2 for its use on SWI-7.

• Directory structure odict/Readme : this file odict/pack.pl odict/document/manual.txt : manual of odict (=CIL) odict/prolog/odict.pl : main loader odict/prolog/odict/odict-attr.pl : unifier over feature structures odict/prolog/odict/odict-expand.pl : definition for term_expansion odict/prolog/odict/ptq-fragment.pl : A demo DCG from Montague's PTQ

  Regards,

  Kuniaki Mukai mukai (at) sfc.keio.ac.jp / kuniaki.mukai (at) gmail.com