package prolect

  1. Overview
  2. No Docs
Pure prolog interpreter

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. A
    Ali Heydari <aliheidary1381@gmail.com>

Maintainers

  1. A
    Ali Heydari <aliheidary1381@gmail.com>

Sources

source_code.tar.gz
sha256=390fa82ebd26bd25809572bbe44ee6ace7ee845f285a7b6b55ce668be3bde2b2

Description

A pretty basic interpreter for prolog with no support for integers, lists or anything other than pure logic

Tags

prolog interpreter

Published: 28 Aug 2025

Dependencies (4)

  1. ppx_optcomp
  2. linenoise os != "win32"
  3. dune >= "3.17"
  4. ocaml >= "5.1"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None