https://capressocoffemakerthecheapest.blogspot.com/2023/08/how-to-get-functor-string-in-prolog.html