Named constants?

The way I use to find such is looking in Useful Prolog references

In there is a section for Papers which has Publications about SWI-Prolog. The paper is in there if it is the paper I am thinking you are referring.

1 Like