tr_op(?, -)

Internal predicate to transform dealyed goals into readable form.

Description

This is an internal predicate to transform delayed goals into readable form. It is not meant for use inside a program.