Yalinalp, L.. and Sterling, L., An Integrated Interpreter for Explaining PROLOG's Successes and Failures, Case Western Reserve University, CES TR-88-04, April 1988  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Jacquet (editor) John Wiley Sons, 1993 [13] Sterling, L. and Lakhotia, A. Composing Prolog Meta Interpreters, in: Proceedings of 5th International Logic Programming Conference, Seattle, 1988 [14] Sterling, L. and Shapiro, E. The Art of Prolog, The MIT Press, Cambridge, Massachusetts, 1986 [15] Yalinalp, L. and Sterling, L. An Integrated Interpreter for Explaining PROLOG s Successes and Failures, Case Western Reserve University, CES TR 88 04, April 1988 FUTURE RESEARCH . Program Development . The Kernel as a Stand Alone Application development of methods for automatic or ....

Yalinalp, L.. and Sterling, L., An Integrated Interpreter for Explaining PROLOG's Successes and Failures, Case Western Reserve University, CES TR-88-04, April 1988

....widely used programming techniques for writing rulebased expert systems. There are obvious reasons for extensive use of meta interpreters: they are simple to use and understand, and, at the same time, they are very powerful. Many metainterpreters have been written for special purposes ( 13] 14] [15]) In this paper, we concentrate on meta interpreters motivated by the construction of expert systems. We try to find a uniform paradigm for writing such a type of meta interpreters. PROLOG is one of the languages that are widely used for writing rule based expert systems and their inference ....

Yalinalp, L.. and Sterling, L., An Integrated Interpreter for Explaining PROLOG's Successes and Failures, Case Western Reserve University, CES TR-88-04, April 1988 18

....widely used programming techniques for writing rulebased expert systems. There are obvious reasons for extensive use of meta interpreters: they are simple to use and understand, and, at the same time, they are very powerful. Many metainterpreters have been written for special purposes ( 16] 17] [19]) In this paper, we concentrate on meta interpreters motivated by the construction of expert systems. We try to find a uniform paradigm for writing such a type of meta interpreters which we call extendible metainterpreters. 2 The extendible meta interpreter consists of two parts, the kernel and ....

Yalinalp, L.. and Sterling, L., An Integrated Interpreter for Explaining PROLOG's Successes and Failures, Case Western Reserve University, CES TR-88-04, April 1988

....Z) hyp ( deg(T j[1;1] 3 j body(T ; Z) which is consistent with the negative formula 4. 4 Metainterpretation and Program Transformation We now propose an incremental method for the transformation of declarative generate and test programs consisting of several iterations. Metainterpretation [YS89] will allow the system to keep track of the search process which led to the resulting proof. The information obtained this way will be evaluated yielding factual knowledge about the provability of subgoals and optimal selector functions for the problem to be solved. By abstraction, the obtained ....

....the resulting theory. Based on these fundamental set theoretic operations the methods of theory formation and program transformation have been implemented. Goals can be proven with respect to dynamically created and modified theories. For this reason theories can be accessed by context switching [YS89]. 5 Discussion The transformation method proposed in this paper has been implemented as one component in the program synthesis system ASK (Acquiring Synthesis Knowledge) Eus91] in PROLOG. ASK is a system which supports the incremental acquisition and the debugging of incomplete or incorrect ....

U. Yalcinalp and L. Sterling. An integrated interpreter for explaining prolog's successes and failures. In H. Abramson and M. Rogers, editors, Meta-Programming in Logic Programming, pages 205--216. MIT Press, 1989.

....clauses as a unit, and an ordered set of units as a context. Nadathur et al. 30] create a new context adding clauses in an implication goal to the current context in their system. Some other researchers in the logic programming community have sought meta level facilities in meta interpreters [11, 35, 37, 38, 39, 44] based on Prolog. Even standard Prolog [10, 16, 36] has some meta level facilities. The predicates assert and retract add and remove clauses from a system wide database by destroying the old version of that database. The meta predicate call tries to prove an explicitly given goal with respect to ....

Yalcinalp, U., and Sterling, L., An Integrated Interpreter for Explaining Prolog's Successes and Failures, in: Meta-Programming in Logic Programming, Abramson, H., and Rogers, M.H. (eds.), The MIT Press, Cambridge, 1989, pp. 191-204.

....Hardware monitoring approach can overcome these problems but is more costly, and the portability is usually limited by the actual hardware implementations. Logic programming languages, however, typically Prolog, have shown to be powerful and higher level specification and verification tools [Yalcinalp 89, Rondogiannis 92] We demonstrate, in this paper, the power of meta logic programming in modelling and analysing message passing programs written in Occam2. We start by introducing, in Section 2, a simulation model which characterises the state transitions caused by various program events, ....

L.U. Yalcinalp and L. Sterling, An Integrated Interpreter for Explaining Prolog's Successes and Failures. in H. Abramson and M.H. Rogers (eds.), Meta--Programming in Logic Programming, The MIT Press, 1989, 191--203.

No context found.

Yalcinalp, L. U. and L. Sterling, "An Integrated Interpreter for Explaining Prolog's Successes and Failures," Case Western Reserve University, CES TR-88-04, April 88.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC