https://github.com/aygp-dr/reversible-meta-synthesis
Implementation of reversible meta-interpreter for inductive program synthesis based on Numao and Ma's research
https://github.com/aygp-dr/reversible-meta-synthesis
inductive-logic-programming meta-interpreter program-synthesis reversible-computing
Last synced: 5 months ago
JSON representation
Implementation of reversible meta-interpreter for inductive program synthesis based on Numao and Ma's research
- Host: GitHub
- URL: https://github.com/aygp-dr/reversible-meta-synthesis
- Owner: aygp-dr
- Created: 2025-03-29T15:53:42.000Z (6 months ago)
- Default Branch: main
- Last Pushed: 2025-03-29T17:41:43.000Z (6 months ago)
- Last Synced: 2025-05-12T21:59:43.062Z (5 months ago)
- Topics: inductive-logic-programming, meta-interpreter, program-synthesis, reversible-computing
- Language: Prolog
- Homepage: https://www.researchgate.net/publication/2649827_Inductive_Program_Synthesis_by_Using_a_Reversible_Meta-Interpreter
- Size: 111 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 38
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Reversible Meta-Synthesis
An implementation of "Inductive Program Synthesis by Using a Reversible Meta-Interpreter" by Masayuki Numao and Masamichi Shimura (1990).
## Overview
This repository implements the concepts from the seminal paper on using reversible meta-interpreters for inductive program synthesis. The key innovations in this approach include:
1. A reversible interpreter that can both execute programs and synthesize them from examples
2. Explanation-based learning to accelerate program synthesis
3. Decomposition of explanations based on composability for flexible knowledge transfer
## Implementations
Three implementations are provided:
- **Prolog**: The original language used in the paper, providing the most faithful implementation
- **Hy**: A Lisp dialect embedded in Python, bridging functional and imperative paradigms
- **Scheme**: A minimalist Lisp implementation focusing on core concepts
## Key Examples
The repository includes implementations of several examples from the paper:
- Basic append program synthesis
- Synthesizing merge3 from app3
- Synthesizing rzip from zip
- Synthesizing fullrev from reverse and flatten
## Getting Started
1. Clone this repository
2. Run the appropriate installation script for your platform:
```
# Linux
./install-linux.sh
# FreeBSD
./install-freebsd.sh
# macOS
./install-macos.sh
```
3. Explore the examples in the `examples` directory
## Directory Structure
```
.
├── doc/ # Documentation
├── examples/ # Example programs
│ ├── prolog/
│ ├── hy/
│ └── scheme/
├── src/ # Source code
│ ├── prolog/
│ ├── hy/
│ └── scheme/
└── tests/ # Tests
├── prolog/
├── hy/
└── scheme/
```
## References
Numao, M., & Shimura, M. (1990). Inductive Program Synthesis by Using a Reversible Meta-Interpreter. In M. Bruynooghe (Ed.), Proc. the Second Workshop on Meta-Programming in Logic, pp. 123-136, Leuven, Belgium.