search

knowsys / nemo-web

Web frontend for the Nemo rules engine
3 stars 1 forks source link

Online and Offline Tracing mismatch #5

Closed aannleax closed 1 month ago

aannleax commented 2 months ago

For this code example:

r(a,b) .
p(?X,!V) :- r(?X,?Y) .
q(?X,STR(?Y)) :- p(?X,?Y) .
rs(STR(?X),STR(?Y)) :- r(?X, ?Y) .

@output r.
@output p.
@output q.
@output rs.

Tracing r(a,b) works but rs("a","b") doesn't. However this is possible through the command line. Also tracing rs("a","b") makes it so that the outputs are no longer displayed. Instead it shows "Loading...". At this point, the tracing stops working entirely.

monsterkrampe commented 1 month ago

This is a mistake in the Petgraph Creation for Evonne within Nemo tracing. The ASCII tracing works as expected. In Nemo Web Next, I disabled the Evonne tracing for now and use the ASCII trace.