Re:Lisp moving Forth moving Lisp
by ux266478 on Wednesday July 29, 2026 @09:41AM
(#49097409)
In the case of Prolog, term and goal expansion are arbitrary compile-time execution mechanisms, completely isomorphic with macros, and are referred to as macro mechanisms.
The characterization of it not being "compile-time macro execution" is strange, what do you think these predicates are doing?
Re:Lisp moving Forth moving Lisp
by klibertp on Wednesday July 29, 2026 @09:53AM
(#49097563)
Good point. I was thinking about meta-interpreters (and it's still possible I misunderstood or misremembered how they work!), but you're right; I should have at least been more precise.
The characterization of it not being "compile-time macro execution" is strange, what do you think these predicates are doing?