Julog.jl

Julog.jl copied to clipboard

References on breadth-first logic programming

1

The README states: > cut causes the current goal to succeed and suppresses all other goals. However, this does not have the same effects as in Prolog because Julog uses...

chalst

Enhancement proposal: use Metatheory.jl

5

Me and @philzook58 worked on an EGraph implementation in pure Julia: https://github.com/0x0f0f0f/Metatheory.jl It may be really interesting to write a backend for Julog using `Metatheory.EGraphs` and `Metatheory.EGraphs.AbstractAnalysis` to see if...

0x0f0f0f

Fixed DFS traversal

2

The DFS traversal did not return the answers in the same order as a Prolog implementation like SWIPL. This is now fixed.

sebdumancic

More Documentation or Examples

3

This looks fantastic btw. Just what I was looking for to learn logic programming.

rebelwarrior

Parsing dot character Issue in `convert_prolog_to_julog`

1

Hey there! Recently I had an issue with Julog trying to parse, ```Julia using Julog s = """state("minnesota","mn","st. paul",4076.0e+3,84.4e+3,32,"minneapolis","st. paul","duluth","Bloomington").""" Julog.convert_prolog_to_julog(s) ``` which outputs; ``` [ "state(\"minnesota\",\"mn\",\"st

hiiroo