3 ms·
The bidirectional nature of predicates is one of the cool aspects of logic programming. It is also cool that is completely transparent whether a predicate retu
by lliamander 4y ago
The bidirectional nature of predicates is one of the cool aspects of logic programming.
It is also cool that is completely transparent whether a predicate returns a single value or multiple values. It's sort of like if every function were implicitly a generator.