posted on 2024-07-12, 16:49authored byL. Umit Yalcinalp, Leon S. Sterling
Building embedded languages in Prolog is considered, with special attention given to expert system shells. The paradigm of metaprogramming, of which building embedded languages is an example, is discussed. Interpreters for embedded languages are reviewed with emphasis on metainterpreters. Two applications, explanation and uncertainty reasoning, are presented, and the techniques that were used in their construction are discussed.