s-similarity should be applicable for two genealogical trees with the same root

v-nys / cclp

A rewrite of my implementation of the Compiling Control technique, in Racket.

MIT License

1 stars 0 forks source link

s-similarity should be applicable for two genealogical trees with the same root #24

Closed v-nys closed 7 years ago

v-nys commented 7 years ago

It is not the case that s-similar conjunctions only occur on the same branch. As long as the initial target atom is the same, it makes sense to compare conjunctions.