prolectversion
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