Huntbach, M. M., Ringwood, G. A., Agent-Oriented Programming: From Prolog to Guarded Definite Clauses. LNCS 1630, Springer-Verlag, Berlin, 1999.  Home/Search   Document Not in Database   Summary   Related Articles

....in designing and modifying inference mechanisms is of crucial importance. Interactive programming environments such as debuggers or visualizers are another example in which interpreters can play important roles. Extensive survey of meta interpretation in logic programming can be found in [11], Chapter 8. Critics complain of performance degradation incurred by the interpreter technology, but the speed of system prototyping with interpreters and symbolic languages cannot be matched by any other methodologies. Hardwiring all design choices into a lower level language such as C may be ....

....can be phrased as devolution as evolution [26] 32] in the sense that it focused on high performance, compiler based implementation of flat languages. Strand [9] KL1 and Janus [19] all belong to this category. Accordingly, there was less work on meta interpreters for the last 10 years. Huntbach [11] shows a meta interpreter that implements ask using match 2, a special primitive discussed in detail in Sect. 3.3. Although using match 2 to implement ask is a natural idea, match 2 turns out to have properties not enjoyed by other goals definable in concurrent logic languages. This motivated us ....

Huntbach, M. M., Ringwood, G. A., Agent-Oriented Programming: From Prolog to Guarded Definite Clauses. LNCS 1630, Springer-Verlag, Berlin, 1999.

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