Scryer-prolog: Feature suggestion: Make WAM instructions inspectable

[triska]

For some users, and for didactic purposes, it is useful to inspect the WAM instructions that Scryer Prolog generates.

Ideally, the WAM instructions of a predicate can be made available as a Prolog term.

Please also see https://stackoverflow.com/questions/57736615/how-can-i-inspect-wam-code-in-sicstus-prolog, which emits WAM code on the toplevel.

[mthom]

See src/prolog/lib/diag.pl.

[triska]

Wow, many thanks!

I'm CCing @stefan-kral: Could you please have a look, is it useful for your use case?

[mthom]

A good next step would be something like portray_clause/1, to make the output of wam_instructions/2 easier on the eyes.

[triska]

Yes, portray_clause/1 would definitely be a very welcome addition!

I am frequently using portray_clause/1 to emit output (for example, solutions of CSP problems), because in this way I can then easily read and analyze the output again with read/1.

[UWN]

For portray_clause/1 consider to use the write option variable_names/1