search

ztangent / Julog.jl

A Julia package for Prolog-style logic programming.
Apache License 2.0
170 stars 11 forks source link

added some new built-ins #16

Closed AIxer closed 2 years ago

AIxer commented 2 years ago
  1. Passed runtests.jl with some new tests in ext_builtin.jl.
  2. No broken code, only minor enhancement.
  3. New predicates need more tests.
ztangent commented 2 years ago

Thanks for making this PR! I still haven't had time to review it, but will hopefully get to it soon. I may decide to refactor some things because I think the current built-in system can be made more easily extensible using ValSplit.jl.

In the meantime, could you figure out why things seem to be failing on Julia 1.0? (I may or may not decide to drop support for Julia 1.0 eventually since it's no longer LTS, but would prefer to maintain support for now.)

AIxer commented 2 years ago

I may rewrite my code in ValSplit.jl style later. So, I gonna to close this pr. :)