AC-UNIFICATION RACE - THE SYSTEM SOLVING APPROACH, IMPLEMENTATION AND BENCHMARKS

被引：4

作者：

ADI, M ^{[1
]}

KIRCHNER, C ^{[1
]}

机构：

[1] CRIN, VILLERS LES NANCY, FRANCE

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1992年 / 14卷 / 01期

关键词：

D O I：

10.1016/0747-7171(92)90025-Y

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present an Associative-Commutative unification algorithm and its implementation in the C language. The main point is that both the specification and the program are based on solving systems of equations. Benchmarks are proposed for evaluating the performance of the implementation of this algorithm. They demonstrate improvements not only in time and space but also in size of the complete set of unifiers generated. © 1992.

引用

页码：51 / 70

页数：20

共 39 条

[1]

ADI M, 1988, MEMOIRE DEA INFORMAT

[2]

ADI M, 1991, THESIS U NANCY 1

[3]

[Anonymous], REV INTELL ARTIF

[4]

BERT D, 1989, REFERENCE MANUAL SPE

[5]

BOUDET A, 1990, THESIS U PARIS SUD O

[6]

BOUDET A, 1990, LECTURE NOTES COMPUT, V449

[7]

BOUDET A, 1991, COMPETING AC UNIFICA

[8]

Boudet A., 1990, 5TH P IEEE S LOG COM, P289

[9] ON EQUATIONAL THEORIES, UNIFICATION, AND (UN)DECIDABILITY [J].

BURCKERT, HJ ;

HEROLD, A ;

SCHMIDTSCHAUSS, M .

JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (1-2) :3-49

[10]

Clausen M., 1990, UNIFICATION, P377

← 1 2 3 4 →