G. Ferrand and P. Deransart. An operational formal definition of Prolog. In Proceedings of the 4th Symposium on Logic Programming, pages 162--172. Computer Society Press, 1987. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Declarative Approach for First-Order Built-in's of Prolog - Apt, Marchiori, Palamidessi (1992) (4 citations) (Correct)
A Theory of First-Order Built-in's of Prolog - Apt, Marchiori, Palamidessi (1992) (1 citation) (Correct)
Towards Full Prolog - Apt (Correct)
The Witness Properties and the Semantics of the Prolog Cut - Andrews (1999) (Correct)
Adapting Big-Step Semantics to Small-Step Style: Coinductive .. - Ibraheem, Schmidt (1998) (Correct)
A Logical Semantics for Depth-First Prolog with Ground Negation - Andrews (1993) (6 citations) (Correct)
A Theory of First-Order Built-in's of Prolog - Apt, Marchiori, Palamidessi (1992) (1 citation) (Correct)
A Declarative Approach for First-Order Built-in's of Prolog - Apt (1992) (4 citations) (Correct)
A Theory of First-Order Built-in's of Prolog - Apt, Marchiori, Palamidessi (1992) (1 citation) (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