L. Sterling, E. Shapiro, The Art of Prolog, MIT Press, Cambridge, MA, 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A theoretical framework on proactive information exchange in.. - Fan, Yen, Volz (2001) (Correct)
No context found.
L. Sterling, E. Shapiro, The Art of Prolog, MIT Press, Cambridge, MA, 1986.
Nondeterministic Control Structures for Graph Rewriting Systems - Zündorf, Schürr (1991) (Correct)
No context found.
Sterling, L., Shapiro, E.: The Art of Prolog; The MIT Press, Cambridge, Massachusetts, London, England (1986).
From Control Flow to Dataflow - Micah Beck Richard (1991) (16 citations) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, Cambridge, Massachusetts, 1986.
The Functional Side of Logic Programming - Massimo Marchiori Department (1995) (6 citations) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986.
Explanations, Belief Revision and Defeasible Reasoning - Falappa, Kern-Isberner.. (2002) (Correct)
No context found.
Leon Sterling and Ehud Shapiro. The Art of Prolog. The MIT Press, 1996. 32
Back to the Future: Pointcuts as Predicates over Traces - Klose, Ostermann (2005) (1 citation) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1994.
An Algebraic Semantics of Prolog Control - Ross (1992) (1 citation) (Correct)
No context found.
Sterling, L. and E. Shapiro (1986). The Art of Prolog. Prentice{Hall.
Type-based {XML} Processing in Logic Programming - Coelho, Florido (2003) (6 citations) (Correct)
No context found.
Leon Sterling and Ehud Shapiro. The Art of Prolog, 2nd edition. The MIT Press, 1994.
Efficient Implementation of General Negation Using.. - Munoz, Moreno.. (Correct)
No context found.
E. Shapiro L. Sterling. The Art of Prolog. The MIT Press, 1987.
Constraint Logic Programming - Copyright Fran Cois (Correct)
No context found.
L. Sterling, E. Shapiro, The Art of Prolog, MIT Press (1986).
Inference of Termination Conditions for Numerical Loops - Serebrenik, De Schreye (2001) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1994. 24
Hybrid Probabilistic Logic Programs as Residuated Logic Programs - Damasio, Pereira (2001) (5 citations) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986.
Refactoring Prolog Programs - Schrijvers, Serebrenik, Demoen (2001) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, Cambridge, MA, USA, 1994.
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
No context found.
Leon Sterling and Ehud Shapiro. The Art of Prolog. MIT Press, second edition, 1994.
Curriculum and Course Syllabi for a High-School Program in.. - Gal-Ezer, Harel (Correct)
No context found.
Sterling, L., and E. Shapiro, The Art of Prolog , 2nd Edition, MIT Press, 1994.
Non-transformational termination analysis of Logic.. - Serebrenik, De Schreye (2000) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1994.
On Termination of Meta-Programs - Serebrenik, De Schreye (2001) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1994.
Deploying Ontologies in Software Design - Kalfoglou (2000) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 4th edition, 1994. ISBN 0-262-69163-9.
Deduction on XML Documents: A Case Study - Bernd Heumesser And (2001) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, Cambridge, MA, 1986.
Nonmonotonic Inductive Logic Programming - Sakama (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog, 2nd Edition, MIT Press, 1994.
Automating Changes of Data Type in Functional Programs - Richardson (1995) (1 citation) (Correct)
No context found.
L. Sterling and E. Shapiro, The art of prolog, MIT Press, Cambridge, Ma., 1986.
SWI-Prolog 5.3 Reference Manual - Wielemaker (2004) (3 citations) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, Cambridge, Massachusetts, 1986.
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (10 citations) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986.
Software Technology - Unu Iist Report (Correct)
No context found.
Sterling and Leon. The Art of Prolog. The MIT Press, Cambridge, Mass, 2nd edition, 1994.
Unknown - (2001) (Correct)
No context found.
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, Cambridge, Massachusetts, 1986.
First 50 documents Next 50
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