2 search results for "tag:"prolog""

Showing 1 - 2
  1. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  2. prolect
    Documentation
    Pure prolog interpreter
    prolog interpreter
    Ali Heydari <aliheidary1381@gmail.com>
    1.1.3
    CC0-1.0
    Used by 0 other packages
    Added to opam-repository