H.J. Komorowski. Qlog -- the programming environment for Prolog in Lisp. In K. Clark and Tarnlund S.A., editors, Logic Programming. Academic, New York, 1982. 13 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Embedding PROLOG in HASKELL - Spivey, Seres (1999) (3 citations) (Correct)
....tools for declarative programming, but most of those implementations lack the semantical clarity that our embedding possesses. LogLisp [18, 17] and a few other languages embed logic programming in Lisp. The embedding is at the same level of abstraction as ours (this is raised as the main point in [8]) but they do not have an equally expressive base language, since Lisp is eager and untyped. By using lazy streams of answers we get a natural model for backtracking and the possibly infinite search space of Prolog. By using types to describe the predicates and their answers, we can easily alter ....
H.J. Komorowski. Qlog -- the programming environment for Prolog in Lisp. In K. Clark and Tarnlund S.A., editors, Logic Programming. Academic, New York, 1982. 13
Logic Programs with External Procedures - Maluszynski, Bonnier, Boye.. (1993) (3 citations) (Correct)
....In the past decade, a number of attempts have been made to integrate logic and functional programming. The resulting languages can be classified roughly into two groups: ffl Those that integrate a logic programming language with an existing functional language. Examples: LOGLISP [RS82] QLOG [Kom82] POPLOG [MH84] and APPLOG [Coh86] Department of Computer and Information Science, Linkoping University, S 581 83 Linkoping, Sweden. These authors were partially supported by an NFR grant for participation in the ESPRIT II BRA Programme # 3020 (INTEGRATION) y Department of Computer and ....
J. Komorowski. QLOG -- The Programming Environment for Prolog in LISP. In K.L. Clark and S.- A. Tarnlund, editors, Logic Programming, pages 315--322. Academic Press, 1982.
The Evolution of Lisp - Steele, Jr., Gabriel (1993) (15 citations) (Correct)
....TAO project [Takeuchi, 1983; Okuno, 1984] and TABLOG [Malachi, 1984] There have also been related attempts to integrate functional programming and Prolog. All these should be contrasted with the use of Lisp as a convenient language for implementing Prolog, as exemplified by Komorowski s QLOG [Komorowski, 1982] and the work of Kahn and Carlsson [Kahn, 1984] We conjecture that this idea has not caught on in the Lisp community because of unification, the variable matching process used in Prolog. Indeed one can easily design a language that has many of the features of Lisp but uses unification during ....
Komorowski, H. J. QLOG: The programming environment for PROLOG in LISP. In
Retrieving Re-Usable Software Components By Polymorphic Type - Runciman, Toyn (1991) (24 citations) (Correct)
No context found.
H. J. Komorowski, "QLOG -- the programming environment for Prolog in LISP", in Logic Programming, ed. K. L. Clark and S. -A. Tarnlund, Academic Press (1982).
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