Back to PROJECTS 


CONSTRAINTS

NEGATION

> INTERPRETERS <

MEDIA ANALYSIS


SEARCH

ON-LINE GUIDES

Meta-interpreters


Meta-programming is a well-known technique widely used in logic programming and artificial intelligence. This technique is based on idea of using program structures  as data for program.

Meta-interpreter of a given programming language (or its subset) is an interpreter of that language (or the subset) that is written in the interpreted language. Meta-interpreters are mainly  used to change/enhance the behaviour of underlying interpreter. The easiness of writing meta-interpreters is exploited for programming software prototypes and testing research ideas.

The Aim of the Project

The aim of the project is to design general techniques for writing extendible (open) meta-interpreters which can be easily customized for various purposes. This project makes an underlying framework for our other research activities. The project covers:
  • methodology
  • implementation

 

Software

The software developed within this project is used in our other research activities, mainly to implement HCLP system and Constructive Negation. The basic program structures can also be found in publications.

 

Publications

Extendible Meta-Interpreters (download)
Barták, R. and Stepánek, P., in: KYBERNETIKA, Volume 33 (1997), Number 3, pages 291-310

Mega-Interpreters and Expert Systems (
download)
Barták, R. and Stepánek, P., presented as poster at PAP '96, London, April 1996

Meta-Interpreters and Expert Systems

Barták, R. and Stepánek, P., Tech. Report No 115, Department of Theoretical Computer Science, Charles University, Prague, October 1995

Meta-interpretation of logic programs
Barták, R., Diploma Thesis, Charles University, Prague, 1993 (in Czech)

Support

The project is supported in part by:
  • Faculty of Mathematics and Physics, Charles University
  • Grant Agency of Czech Republic under the contract No 201/96/0197.

The other supporters are very welcomed, especially from the industry area. If you want to support this project (and exploit the research results directly), please contact me.


[
Constraints] [Negation] [Meta-interpreters] [Media Analysis]

[Search] [Guides]

Charles University
Malostranské nám. 25
Praha 1
CZECH REPUBLIC