trace. - Githubissues

SWI-Prolog / packages-swipy

Python interface for SWI-Prolog

42 stars 6 forks source link

trace. #7

Closed TianYaDY closed 7 months ago

TianYaDY commented 7 months ago

Hello! Thank you for your efforts. I would like to inquire, when using Janus-SWI, how can I prompt it to print out the Prolog inference process (similar to 'trace.')?

JanWielemaker commented 7 months ago

Please use our Discourse forum for questions. In general you should be able simply call

  janus.query_once("trace, whatever", ...)