Term Rewriting prolog code

[infogulch]

Hi! I liked your video about term rewriting with prolog. This made me curious if it's possible to do term rewriting on prolog code. You mentioned "narrowing" in passing which lead me to some interesting results after some light googling 1 2, but I'm not sure in which direction to go in to learn more.

My intuition tells me that to do this on a prolog query you'd first need to fold the query and all transitively referenced rules down into one very long query first, and then you could apply rewrite rules to it from there. But I'm not sure if this "folding" procedure could be valid for all possible rules.

Thoughts?

[triska]

Thank you very much for your kind words, and for your interest!

Maybe the Curry programming language could be an interesting starting point, its Wikipedia page also contains a brief section on narrowing, mentioning a specific variant of narrowing called needed narrowing:

https://en.wikipedia.org/wiki/Curry_(programming_language)

The Curry documentation could also be an interesting resource to find further documents and contacts about this topic!

[fnogatz]

btw, the Curry people are active on GitHub as well: 👋 @mihanus, @ichistmeinname, @finnteegen

[mihanus]

You might also have a look at the Curry homepage where you find much more material. A short survey about the advantages of Curry's evaluation strategy (needed narrowing) is also available from Comm. ACM