|
|
|
|
|
|
by ux266478
167 days ago
|
|
|
I'm someone who has used Prolog in the past, but this is the first time I'm learning of Futamura's work[1]. I knew it was great for building executable grammars, but I hadn't ever really tried to do so thus have absolutely no knowledge on the usual techniques. What an absolutely fascinating methodology, I can see exactly how it maps to Prolog. [1] - https://static.aminer.org/pdf/PDF/001/006/665/partial_evalua... |
|
|