Can SWI Prolog (or some other such system) tell me trace(s) of how a given predicate is derivable?
Show this thread
e.g., if `foo(bar, baz)` is true, I want to know a trace to base facts that shows why
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Not sure about Prolog, but .. at least one other system can: https://github.com/frankmcsherry/explanation … ;)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.