论文信息 - Compiling Knowledge-Based Systems Specified in KEE to Ada

Compiling Knowledge-Based Systems Specified in KEE to Ada

1. Overview 12. Goals 13. ProKappa 43.1 Substrate 53.2 Objects 73.3 Monitors 113.4 Object-oriented programming 123.5 Miscellaneous facilities 133.6 ProTalk 134. Core status 204.1 Datatypes 204.2 Symbols 214.3 Objects 224.4 Slots 224.5 Inheritance 224.6 Methods 234.7 Monitors 244.8 Loading and saving object bases 254.9 Debugging tools 275. Compiler status 325.1 Programming Language Issues 325.2 Compiler Architecture 355.3 Comparison to other Work 416. Using PrkAda with ProKappa 416.1 Our example

Robert E. Filman | Roy Feldman | R. Filman | R. Feldman

[1] Naoyuki Tamura,et al. An Optimizing Prolog Compiler , 1987, LP.

[2] Paul Hudak,et al. Realistic Compilation by Program Transformation. , 1989 .

[3] Daniel P. Friedman,et al. Coordinated computing: tools and techniques for distributed software , 1984 .

[4] Erik Ruf,et al. Nondeterminism and unification in LogScheme: integrating logic and functional programming , 1989, FPCA.

[5] Erik Ruf,et al. Using types to avoid redundant specialization , 1991, PEPM '91.

[6] Carl Hewitt,et al. Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[7] Robert E. Filman. Retrofitting objects , 1987, OOPSLA 1987.

[8] Elliot Soloway,et al. The engineering of XCON , 1989 .

[9] Richard Fikes,et al. The role of frame-based representation in reasoning , 1985, CACM.

[10] Charles L. Forgy,et al. Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..