Nadathur, G. and Jayaraman, B. Towards a WAM model for #Prolog. To appear in the Proceedings of the North American Conference on Logic Programming, MIT Press, 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Programming In Three Dimensions - Najork (1994) (15 citations) (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1992) (2 citations) (Correct)
Implementation Issues for Functional Logic Programming - Kuchen (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1994) (2 citations) (Correct)
Implementing Tactics and Tacticals in a Higher-Order Logic.. - Amy Felty (1993) (43 citations) (Correct)
Naive Reverse can be Linear - Pascal Brisset (1991) (9 citations) (Correct)
A Logic Programming Language with Lambda-Abstraction, Function.. - Miller (1991) (232 citations) (Correct)
The Compilation of Prolog and its Execution with MALI - Brisset, Ridoux (1993) (3 citations) (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1995) (2 citations) (Correct)
The Practice of Logical Frameworks - Frank Pfenning (1996) (15 citations) (Correct)
Higher-Order Horn Clauses - Gopalan Nadathur Duke (1990) (35 citations) Self-citation (Nadathur) (Correct)
A Treatment of Higher-Order Features in Logic Programming - Nadathur (2003) (4 citations) Self-citation (Nadathur) (Correct)
Implementing Polymorphic Typing in a Logic Programming.. - Kwon, Nadathur, Wilson (1993) (3 citations) Self-citation (Nadathur) (Correct)
Subset Logic Programs And Their Implementation - Jayaraman, Moon (1994) (4 citations) Self-citation (Jayaraman) (Correct)
Higher-Order Logic as the Basis for Logic Programming - Nadathur (1989) (25 citations) Self-citation (Nadathur) (Correct)
Scoping Constructs in Logic Programming: Implementation.. - Nadathur, Jayaraman.. (1993) (14 citations) Self-citation (Nadathur Jayaraman) (Correct)
Implementing Polymorphic Typing in a Logic Programming.. - Kwon, Nadathur, Wilson (1994) (3 citations) Self-citation (Nadathur) (Correct)
A Proof Procedure for the Logic of Hereditary Harrop Formulas - Nadathur (1993) (10 citations) Self-citation (Nadathur) (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