文件名称：Julog.jl：用于Prolog风格逻辑编程的Julia包
文件大小：33KB
文件格式：ZIP
更新时间：2024-02-24 19:55:51
julia logic prolog first-order-logic logic-programming
Julog.jl：用于Prolog风格逻辑编程的Julia包
【文件预览】：
Julog.jl-master
----.gitignore(795B)
----README.md(11KB)
----.github()
--------workflows()
----test()
--------prolog.jl(1KB)
--------builtins.jl(6KB)
--------math_ops.jl(1KB)
--------parse.jl(2KB)
--------lineage.jl(1KB)
--------conversions.jl(2KB)
--------naturals.jl(793B)
--------custom_funcs.jl(2KB)
--------runtests.jl(249B)
--------unify.jl(2KB)
--------lists.jl(1KB)
----benchmarks()
--------benchmarks.jl(58B)
--------population.jl(2KB)
--------zebra.jl(2KB)
----src()
--------Julog.jl(609B)
--------parse.jl(8KB)
--------structs.jl(3KB)
--------main.jl(19KB)
--------utils.jl(13KB)
----LICENSE.md(11KB)
----Project.toml(225B)