ztangent Julog.jl issues

ztangent / Julog.jl

A Julia package for Prolog-style logic programming.

Apache License 2.0

170 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Parsing dot character Issue in `convert_prolog_to_julog`

#21 hiiroo opened 1 year ago
1
`member` usage

#20 hiiroo closed 1 year ago
5
References on breadth-first logic programming

#19 chalst opened 2 years ago
1
Fixed DFS traversal

#18 sebdumancic opened 2 years ago
2
introduced AbstractClause

#17 sebdumancic closed 2 years ago
2
added some new built-ins

#16 AIxer closed 2 years ago
2
Error: LoadError: $Expr(:incomplete, "...") & How to extend `builtins`?

#15 AIxer closed 2 years ago
10
Use of Julog to parse first order formulas in usual binary logic

#14 gilles-paul closed 2 years ago
12
Engine does not run through all available variants

#13 pddshk closed 3 years ago
3
Enhancement proposal: use Metatheory.jl

#12 0x0f0f0f opened 3 years ago
5
More Documentation or Examples

#11 rebelwarrior opened 3 years ago
3
Resolve does not check for valid optional arguments

#10 CrashBurnRepeat closed 2 years ago
1
Too large an expression?

#9 CrashBurnRepeat closed 3 years ago
4
Make `@varsub` return an expression, instead of using eval.

#8 ztangent closed 3 years ago
0
fix in preparation for JuliaLang/julia#37573

#7 simeonschaub closed 3 years ago
7
Refactored some statements to avoid warnings.

#6 fplk closed 3 years ago
0
Term construction via template?

#5 CrashBurnRepeat closed 3 years ago
7
License?

#4 fnogatz closed 3 years ago
1
Update README with list built-in shorthand

#3 CrashBurnRepeat closed 4 years ago
2
Parsing for equivalence rules?

#2 CrashBurnRepeat closed 4 years ago
9
Typo?

#1 mschauer closed 4 years ago
1