kiranandcode/SWIPL-OCaml

SWI-Prolog Bindings for OCaml: https://kiranandcode.github.io/SWIPL-OCaml/swipl/index.html

语言：OCaml · GitHub 星标：6 · Fork：1

话题：logic · ocaml · prolog

在 GitHub 上查看原仓库