An Architecture for Prolog Extensions

@inproceedings{Meier1992AnAF,
  title={An Architecture for Prolog Extensions},
  author={Micha Meier and Joachim Schimpf},
  booktitle={ELP},
  year={1992}
}
We address the task of an efficient implementation of Prolog extensions. Prolog is a very good language for prototyping and almost any extension can be quickly written in Prolog using a Prolog interpreter and tested on small examples. It is harder to find out if the results scale up to large, real life problems, though. A Prolog interpreter, even if partially evaluated with respect to a given problem, quickly hits the space and time limitations and so more elaborate approaches to the… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 18 extracted citations

Constructive Negation and Constraints

View 12 Excerpts
Highly Influenced

Constructive Negation in CLP ( H )

View 15 Excerpts
Highly Influenced

Backtrackable Updates

ILPS Workshop: Implementation Techniques for Logic Programming Languages • 1994
View 7 Excerpts
Highly Influenced

Implementations of Logic Programming Systems

Giancarlo Succi, Michele Bugliesi, +5 authors Peter Koves
Springer US • 1994
View 10 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Constraint satisfaction in logic programming

Logic programming • 1989
View 5 Excerpts
Highly Influenced

LOGIN: A Logic Programming Language with Built-In Inheritance

J. Log. Program. • 1986
View 7 Excerpts
Highly Influenced

Prolog II manuel de reference et modele theorique

Alain Colmerauer
Technical Report ERA CNRS 363, Groupe Intelligence Artificielle, Faculte des Sciences de Luminy, • 1982
View 4 Excerpts
Highly Influenced

Event Handling in Prolog

NACLP • 1989
View 4 Excerpts

Nu-Prolog reference manual version 1.1

James A. Thom, Justin Zobel
Technical Report 86/10, • 1986
View 2 Excerpts

Similar Papers

Loading similar papers…