MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Implementation techniques for Prolog." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

Implementation Techniques for Prolog
by Andreas Krall — 1994 — Proceedings of the Tenth Logic Programming Workshop, WLP 94
…Implementation Techniques for Prolog Andreas Krall Institut fur Computersprachen Technische…
Cited by 3 (0 self) – Add To MetaCart

Extending Prolog with Data Driven Rules
by Mauro Gaspari — 1994 — In Proc. 6th Int. Conf. on Artificial Intelligence and Information-Control Systems of Robots
… of the proposed techniques we tested three different production system implementations in Prolog: a naive…
Cited by 1 (1 self) – Add To MetaCart

A Simple Prolog Techniques Editor for Novice Users
by Dave Robertson — 1991 — In 3rd Annual Conference on Logic Programming
…, this is unsatisfactory because the techniques are quite complex to implement directly in Prolog and this makes it tricky…
Cited by 21 (5 self) – Add To MetaCart

PROTEIN: A PROver with a Theory Extension INterface
by Peter Baumgartner, Ulrich Furbach, Universiat Koblenz — 1994 — Automated Deduction -- CADE-12, volume 814 of LNAI
… refinements and flags. The idea of the PTTP implementation technique ("Prolog Technology Theorem Prover…
Cited by 41 (12 self) – Add To MetaCart

A High Speed Prolog Implementation on a VLIW Processor
by W. Schenk — 1989 — Microprocessing and Microprogramming
…A High Speed Prolog Implementation on a VLIW Processor W. Schenk y Institut fur Informatik und…
Cited by 2 (1 self) – Add To MetaCart

Guarded Horn Clauses
by Kazunori Ueda — 1986
… Implementation Technique of Distribution Predicates to Mutable Arrays…
Cited by 108 (6 self) – Add To MetaCart

Improved Compilation of Prolog to C Using Moded Types and Determinism Information
by J. Morales, M. Carro, M. Hermenegildo — 2004 — In Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, number 3057 in LNCS
… be found in [Van94]. The following is a rough classification of implementation techniques for Prolog (which…
Cited by 7 (4 self) – Add To MetaCart

Nonmonotonic Reasoning In LDL++
by Haixun Wang, Carlo Zaniolo — 2000 — Logic-Based Artificial Intelligence
… of database systems than the stack-oriented implementation techniques of Prolog (Zaniolo et al., 1997). Indeed…
Cited by 8 (1 self) – Add To MetaCart

Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary
by J. Morales, M. Carro, M. Hermenegildo — 2003 — In Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop
… techniques for implementing Prolog have been devised since the original interpreter developed by Colmerauer…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB