Function notation for Prolog This is simple term_expansion/2 based macros for functions notation. This is a simple transform, the output is still easy to debug, it doesn't require special notation for ...