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
Show this thread
-
-
Yes - you can invoke the graphic debugger by either tspy(foo) to set a spy point on a predicate, or ?-gtrace,foo(bar, baz). to invoke from the console. If that doesn't work, your X connection is bad. Query check_installation. and correct.
-
@nikomatsakis Did you get this?
End of conversation
New conversation -
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.