Btw. I found 8 possibilities to concat atoms in Swi Prolog

[EricGT]

@Frank_Schwidom

I would appreciate it if I coud figure out which meta information are available for a predicate.

Have you seen

SWI-Prolog XREF --- Cross-Referencing Tool

Don’t forget to look at the code that implements it for other ideas.

Also

List the properties for predicate(s)

HTH