This is a link to a PDF that contains a finite-state automaton showing the states and commands for the example from Overview of the Debugger.
SWI-Prolog Debugger FSA.pdf (682.7 KB)
Hm, I’m not able to open the PDF - on Ubuntu 18.04, I get an error from libnss3.so, saying “failed to map segment from shared object”
1 Like
Looks like a local issue. Works fine with FF on Fedora 26.
1 Like
Oh yeah, I’m able to open the pdf if I open it directly from evince, just not if I open it by clicking it from the “downloaded” menu in firefox. How strange!