๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An improved general E-unification method

โœ Scribed by Daniel J. Dougherty; Patricia Johann

Book ID
103918608
Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
992 KB
Volume
14
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An algorithm for inversing a unification
An algorithm for inversing a unification parser into an efficient unification generator
โœ Tomek Strzalkowski ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 338 KB

An algorithm that inverses a unifkaticn parser written in FXOLOG into a generator for naNd language is presented. Some aspects of applicability of the algorithm arc discussed. ' MSEA'S of basic predicates, such as mncat. art assumed to k known apriori; MSEA'S for recunive predicates are first comput