Hacker News Reader

>> What would be interesting, would be to replace depth-first search while remaining in the world of predicates and Horn clauses.

For that you want tabled Prolog, or in other words Prolog executed by SLG-Resolution. The paradigmatic implementation is XSB Prolog:

https://xsb.com/xsb-prolog/

SWI-Prolog also supports tabling but I think the XSB implementation is more mature.

Naïvely, writing only one logic relation of n parameters is about equivalent to writing n^2 functions (just decide for each parameter whether you give it or not as input). So there clearly is value there.

I say naïvely because on one hand you might not need all versions of the function, but on the other one you can also provide partial values, so it’s not either input or output.

functional logic programming is not equivalent to functional programming.