We present LHIP, a system for incremental grammar development using an extended DCG formalism. The system uses a robust island-based parsing method controlled by user-defined performance thresholds.

Growing interest in visual languages has triggered new extended research into the specification and parsing of multi-dimensional structures. The paper discusses the need for a visual specification formalism and introduces such a technique by augmenting logic programming with picture terms which can be considered as partially specified pictures. We define how to match picture terms and how to in...

Hassan Ait-Kaci introduced the #/-term, an informational structure resembling feature-based functional structures but which also includes taxonomic inheritance (Ait-Kaci, 1984). We describe e-terms and how they have been incorporated into the Logic Grammar formalism. The result, which we call Inheritance Grammar, is a proper superset of DCG and includes many features of PATR-II. Its taxo-nomic ...