UnificationApi

Describe the pages in this category...

To add a page to this category, add a link to this page on the last line of the page. You can add multiple categories to a page.

List of pages in this category:

FullSearch()

---

Unification API

The PET source is available on http://pet.opendfki.de.

The Cheap source can build libraries:

• libcheap.a: core feature unification, type hierarchy
• libmrs.a: MRS handling

Inside libcheap.a the unification algorithm is in tomabechi.h: see in particular the "dag_node" and "dag_arc" structures.

"dag_node" includes an index into a type hierarchy structure. This structure is built by flop and loaded at grammar-load time.