| Title:
|
Extendible meta-interpreters (English) |
| Author:
|
Barták, Roman |
| Author:
|
Štěpánek, Petr |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
33 |
| Issue:
|
3 |
| Year:
|
1997 |
| Pages:
|
291-310 |
| . |
| Category:
|
math |
| . |
| MSC:
|
68N17 |
| MSC:
|
68N99 |
| MSC:
|
68T35 |
| idZBL:
|
Zbl 0907.68186 |
| . |
| Date available:
|
2009-09-24T19:09:22Z |
| Last updated:
|
2012-06-06 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124714 |
| . |
| Reference:
|
[1] H. Abramson, M. H. Rogers (eds): Meta-Programming in Logic Programming.MIT Press, Cambridge, MA 1989. MR 1059059 |
| Reference:
|
[2] R. Barták: Meta-interpretation of Logic Programs.Diploma Thesis, Faculty of Mathematics and Physics, Charles University, Prague 1993. (In Czech.) |
| Reference:
|
[3] R. Barták, P. Štěpánek: Meta-interpreters and Expert Systems.Technical Report No. 115, Department of Computer Science, Faculty of Mathematics and Physics, Charles University, Prague 1995. |
| Reference:
|
[4] R. Barták: Expert Systems Based on Constraints.Doctoral Dissertation, Faculty of Mathematics and Physics, Charles University, Prague 1997. (In Czech.) |
| Reference:
|
[5] R. Barták: A plug-in architecture of constraint hierarchy solvers.In: Proceedings of PACT'97, London 1997, pp. 359-371. |
| Reference:
|
[6] W. F. Clocksin, C. S. Mellish: Programming in PROLOG.Springer-Verlag, Berlin 1981. Zbl 0466.68009 |
| Reference:
|
[7] A. Jain L. Sterling, M. Kirschenbaum: Towards reusability based upon similar computational behaviour.In: Proceedings of the 7th International Conference on Software Engineering and Knowledge Engineering, Rockville 1995. |
| Reference:
|
[8] A. Lakhotia L. Sterling, D. Bojantchev: Development of a PROLOG tracer by stepwise enhancement.In: Proceedings of the Third International Conference on Practical Applications of PROLOG, Paris 1995. |
| Reference:
|
[9] M. Meier, P. Brisset: Open Architecture for CLP.TR ECRC-95-10, ECRC, 1995. |
| Reference:
|
[10] N. J. Nilsson: Problem-Solving Methods in Artificial Intelligence.McGraw-Hill, New York 1971. |
| Reference:
|
[11] K. Parsaye, M. Chignell: Expert Systems for Experts.Wiley, New York 1988. |
| Reference:
|
[12] L. Sterling: Meta-interpreters: The flavors of logic programming?.In: Proceedings of Workshop on Foundation of Logic Programming and Deductive Databases, Washington 1986. |
| Reference:
|
[13] L. Sterling: Constructing meta-interpreters for logic programs.In: Advanced School on Foundations of Logic Programming, Alghero 1988. |
| Reference:
|
[14] L. Sterling A. Jain, M. Kirschenbaum: Composition based on skeletons and techniques.Work presented at ILPS '93 Post Conference Workshop on Methodologies for Composing Logic Programs. |
| Reference:
|
[15] L. Sterling, M. Kirschenbaum: Applying techniques to skeletons.In: Constructing Logic Programs (J. M. J. Jacquet, ed.), Wiley, New York 1993. |
| Reference:
|
[16] L. Sterling, A. Lakhotia: Composing PROLOG meta-interpreters.In: Proceedings of 5th International Logic Programming Conference, Seattle 1988. |
| Reference:
|
[17] L. Sterling, E. Shapiro: The Art of PROLOG.MIT Press, Cambridge, MA 1986. Zbl 0605.68002 |
| Reference:
|
[18] M. Wilson, A. Borning: Hierarchical Constraint Logic Programming.TR 93-01-02a, Department of Computer Science and Engineering, University of Washington 1993. Zbl 0771.68038, MR 1223015 |
| Reference:
|
[19] L. U. Yalginalp, L. Sterling: An Integrated Interpreter for Explaining PROLOG'S Successes and Failures.Case Western Reserve University, CES TR-88-04, 1988. |
| . |
