https://github.com/bollu/warren
The warren abstract machine for Pascal, in Hakell
https://github.com/bollu/warren
Last synced: 4 months ago
JSON representation
The warren abstract machine for Pascal, in Hakell
- Host: GitHub
- URL: https://github.com/bollu/warren
- Owner: bollu
- License: mit
- Created: 2019-03-04T23:24:16.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-05-18T20:08:26.000Z (over 6 years ago)
- Last Synced: 2025-06-16T02:03:01.591Z (4 months ago)
- Language: Haskell
- Size: 401 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
[Warren (Link to literate file)](https://bollu.github.io/warren/)
=========================================
An implementation of the
[warren abstract machine](http://wambook.sourceforge.net/wambook.pdf),
as a learning exercise in Haskell parallelism.
I wish to use [deltas](http://github.com/bollu/paper-deltas) for
incremental and parallel computation of datalog/prolog queries. That should
be a very interesting expriment of the `deltas` infrastructure for an
abstract machine such as `Warren`.
## Reading material
- [The warren abstract machine, A tutorial reconstruction](warren-abstract-machine-prolog.pdf)
- [Datalog lecture notes](https://www.cs.cmu.edu/~fp/courses/lp/lectures/26-datalog.pdf)
- [Logic programming course@CMU](https://www.cs.cmu.edu/~fp/courses/lp/)
## Building from source
Recommend setting up the `post-commit` hook so the docs auto-build:
```
$ (at root of repo)
$ ln -s $(pwd)/post-commit .git/hooks/post-commit
```
To build, simply use `cabal`:
```
cabal v2-build
```