ztangent/Julog.jl issues and pull requests

#21 - Parsing dot character Issue in `convert_prolog_to_julog`

Issue - State: open - Opened by hiiroo over 1 year ago - 1 comment

#20 - `member` usage

Issue - State: closed - Opened by hiiroo almost 2 years ago - 5 comments

#19 - References on breadth-first logic programming

Issue - State: open - Opened by chalst over 2 years ago - 1 comment

#18 - Fixed DFS traversal

Pull Request - State: open - Opened by sebdumancic over 2 years ago - 2 comments

#17 - introduced AbstractClause

Pull Request - State: closed - Opened by sebdumancic over 2 years ago - 2 comments

#16 - added some new built-ins

Pull Request - State: closed - Opened by AIxer over 2 years ago - 2 comments

#15 - Error: LoadError: $Expr(:incomplete, "...") & How to extend `builtins`?

Issue - State: closed - Opened by AIxer over 2 years ago - 10 comments

#14 - Use of Julog to parse first order formulas in usual binary logic

Issue - State: closed - Opened by gilles-paul over 3 years ago - 12 comments

#13 - Engine does not run through all available variants

Issue - State: closed - Opened by pddshk over 3 years ago - 3 comments

#12 - Enhancement proposal: use Metatheory.jl

Issue - State: open - Opened by 0x0f0f0f over 3 years ago - 5 comments

#11 - More Documentation or Examples

Issue - State: open - Opened by rebelwarrior over 3 years ago - 3 comments

#10 - Resolve does not check for valid optional arguments

Issue - State: closed - Opened by CrashBurnRepeat almost 4 years ago - 1 comment

#9 - Too large an expression?

Issue - State: closed - Opened by CrashBurnRepeat almost 4 years ago - 4 comments

#8 - Make `@varsub` return an expression, instead of using eval.

Pull Request - State: closed - Opened by ztangent about 4 years ago

#7 - fix in preparation for JuliaLang/julia#37573

Pull Request - State: closed - Opened by simeonschaub about 4 years ago - 7 comments

#6 - Refactored some statements to avoid warnings.

Pull Request - State: closed - Opened by fplk about 4 years ago

#5 - Term construction via template?

Issue - State: closed - Opened by CrashBurnRepeat over 4 years ago - 7 comments

#4 - License?

Issue - State: closed - Opened by fnogatz over 4 years ago - 1 comment

#3 - Update README with list built-in shorthand

Pull Request - State: closed - Opened by CrashBurnRepeat over 4 years ago - 2 comments

#2 - Parsing for equivalence rules?

Issue - State: closed - Opened by CrashBurnRepeat over 4 years ago - 9 comments

#1 - Typo?

Pull Request - State: closed - Opened by mschauer over 4 years ago - 1 comment

Ecosyste.ms: Issues

GitHub / ztangent/Julog.jl issues and pull requests