Listing/1 predicate

Hi all,

The listing/1 predicate that I regularly use with swi-prolog does not seem to work with swish, neither in program nor in notebook mode:

procedure homme’ does not exist (DWIM could not correct goal)`

where homme is my own defined predicate. What am I doing wrong?

Thanks

Normally it should work. Can you share the link to the notebook where it doesn’t?

I could reproduce it with the first example:

https://swish.swi-prolog.org/example/kb.pl

listing/0 works (but shows some internal stuff). listing/1 doesn’t (didn’t) due to a security measure :frowning: Fixed.

Thank you
:+1: