See this document in CiteSeerX!

An Object-Oriented Inference Engine for PROLOG  (Make Corrections)  
This is a preprint of a copyrighted article that appeared in the J. Systems...



  Home/Search   Context   Related

 
View or download:
cs.ualberta.ca/~duane/pub...JSS92.ps.gz
cs.ualberta.ca/~duane/public...JSS92.ps
cs.ualberta.ca/~duane/publi...92JSS.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.ualberta.ca/~duane/publ...OOPL (more)
From:  cs.ualberta.ca/~duane/publ...OOPL
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Machine (WAM) instructions. However, Gödel does not currently support the final translation to bytecodes. In addition to the components shown in the figures, each object described in this article has other components which are used for editing, displaying and updating them. However, since these components are not germane to this article they have been excluded to simplify the presentation. Clause Representation PROLOG clauses can be grouped into four categories based on run-time behavior:... (Update)

Active bibliography (related documents):   More   All
0.2:   Exception Handling and Object-Oriented Programming: towards a.. - Dony (1990)   (Correct)
0.2:   Browsing in Explicit Metaclass Languages : An Essay in.. - Rousseau, Malenfant (1993)   (Correct)
0.2:   A Layered Approach to Dedicated Application.. - Steyaert, De.. (1994)   (Correct)

Similar documents based on text:   More   All
0.2:   Multiple Code Inheritance in Java - Maria Cutumisu Paul (2003)   (Correct)
0.2:   This is a pre-print of a copyrighted article in Technology .. - Conference August Pp (1992)   (Correct)
0.1:   This is a preprint of a copyrighted article that will.. - An Object-Oriented.. (1996)   (Correct)

BibTeX entry:   (Update)

@techreport{ lanovaz90objectoriented,
    author = "Daniel Lanovaz and Duane Szafron",
    title = "An Object-Oriented Inference Engine for Prolog",
    number = "TR 90-18",
    year = "1990",
    url = "citeseer.ist.psu.edu/44528.html" }
Citations (may not include all citations):
109   A Polymorphic Type System For Prolog (context) - Mycroft, O'Keefe - 1984
16   The Memory Management of Prolog Implementations (context) - Bruynooghe - 1982
7   An Alternative to Structure Sharing in the Implementation of.. (context) - Mellish - 1982
6   A High Performance Architecture for Prolog (context) - Dobry - 1987
4   ParcPlace Systems (context) - User's - 1989
1   Interpreteur du language de programmation PROLOG (context) - Battani, Meloni - 1973
1   Los Angeles U (context) - VPM - 1989
1   Design and Implementation of the Waterloo Unix Prolog Enviro.. (context) - Cheng - 1984
1   Implementing PROLOG-Compiling Predicate lLgic pPograms (context) - Warren - 1977
1   Translation of Prolog to C (context) - Levy, Horspool - 1990
1   del: A Prototype Prolog Programming Environment (context) - Lanovaz - 1988
1   del: An Interactive Incremental Logic Programming Environmen.. (context) - Lanovaz, Szafron - 1990
1   Some Notes on Prolog Technology Theorem Proving (context) - Szafron, Pelletier - 1989

Documents on the same site (http://www.cs.ualberta.ca/~duane/publications/OOPL.html):   More
LexAGen: An Interactive Incremental Scanner Generator - Duane Szafron (1990)   (Correct)
LexAGen: An Interactive Incremental Scanner Generator - Duane Szafron (1990)   (Correct)

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