equals #10

enriquepablo opened this Issue Aug 28, 2012 · 2 comments


None yet
1 participant

enriquepablo commented Aug 28, 2012

finish implementing an equals predicate - on par with isa y are.

@ghost ghost assigned enriquepablo Aug 28, 2012


enriquepablo commented Aug 29, 2012

here we must allow for equation of terms and predicates?

a fact is a thing.
f1 is a fact.
f1 eq (goes john, to madrid).

so equation would only involve factual information, and not taxonomical...??


enriquepablo commented Aug 29, 2012

that is contradictory. with set conditions... different rules would fire for a fact that uses one or another individual of an equation group... is that power or contradiction?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment