prolectversion Documentation on ocaml.org
Pure prolog interpreter
A pretty basic interpreter for prolog with no support for integers, lists or anything other than pure logic
| Tags | prolog interpreter |
|---|---|
| Author | Ali Heydari <aliheidary1381@gmail.com> |
| License | CC0-1.0 |
| Published | |
| Homepage | https://github.com/aliheidary1381/prolect |
| Issue Tracker | https://github.com/aliheidary1381/prolect/issues |
| Maintainer | Ali Heydari <aliheidary1381@gmail.com> |
| Dependencies |
|
| Source [http] | https://github.com/aliheidary1381/prolect/releases/download/v1.1.3/source_code.tar.gz sha256=390fa82ebd26bd25809572bbe44ee6ace7ee845f285a7b6b55ce668be3bde2b2 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/prolect/prolect.1.1.3/opam |
No package is dependent
