K. Furukawa et al., `Mandala: a logic based knowledge programming system', Proc. Fifth Generation Comp. Systems, Tokyo, 1984, pp. 613--622.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....software engineering environment. However, several projects used Prolog especially in the implementation of rule based tools and coordination mechanisms [Minsky 90, Nardi 90, Peuschel 92] Mandala, a software development environment fully based on parallel logic programming, was never implemented [Furukawa 84] The most similar project we have found is described by Foster [Foster 89] who developed a whole programming environment based on PARLOG. The use of a concurrent logic language as executable specification language is also quite original. The main reference we have found is the paper [Dotan ....

K Furukawa et alii, "Mandala: a Logic Based knowledge Programming System", Proc. Fifth Generation Comp. Systems, Tokyo, 1984, 613-622.

....within complex terms (see [26] and [54] for examples) The second approach, which we consider here, is based on the idea of representing an object as a first order logic theory. This view inspired McCabe s Class Template Language [62] and has been adopted by many other authors in the literature ([35, 34, 40, 66, 48] among others) In his Class Template Language McCabe proposes a logical reconstruction of the OO paradigm where objects are interpreted as sets of axioms defining the objects attributes and methods. The same idea can be exploited to model an OO extension of logic programming using embedded ....

....[34] simulate the changes of state by means of assert and retract but this approach lacks any logical foundation. A refined solution has been proposed by Chen and Warren in [27] where intensional variables are introduced to keep track of state changes without side effects. In other proposals [35, 66] state change is simulated by means of unification and recursion within a concurrent logic programming framework. In [3] and [28] multi headed clauses are used for similar purposes whereas a (goal) continuation passing style of programming is used in [48, 49, 47] The interested reader should ....

K. Furukawa, A. Takeuchi, S. Kunifujii, H. Yasukawa, M. Ohki, and K. Ueda. Mandala: A logic based knowledge programming system. In Proc. FGCS'84 Int. Conference, pages 613--622, Tokyo (J), 1984.

....(But see Section 6 for two approaches achieving the same effect which do not rely on concurrency. JosSome early ideas are proposed in Kahn s Intermission [44] Hewitt and Agha s Actors also influenced this approach. The seminal paper is by Shapiro and Takeuchi [69] and later languages are Mandala [30], Vulcan [47, 45, 48] Polka [20, 21] A 0 UM [77, 78] The base language of the Fifth Generation Computer Systems project ESP [14, 15, 40] can also be counted here. A good introduction to these ideas is [46] The mechanics of modeling OO notions in this paradigm is as follows [69] 1. Objects ....

K. Furukawa, A. Takeuchi, S. Kunifuji, H. Yasukawa, M. Ohki, and K. Ueda. Mandala: A logic based knowledge programming system. In International Conference on Fifth Generation Computer Systems, Tokyo, Nov. 1984.

No context found.

K. Furukawa et al., `Mandala: a logic based knowledge programming system', Proc. Fifth Generation Comp. Systems, Tokyo, 1984, pp. 613--622.

No context found.

K. Furukawa et al. Mandala: A logic-based knowledge programming system. In Proc 1984 Int'l Conf. on 5th Gener. Comp. Syst., Tokyo, Nov 1984, pp 613-22. Amsterdam: North-Holland, 1984.

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