search

normativeai / frontend

GNU General Public License v3.0
6 stars 3 forks source link

Different Interface for Existential Terms #46

Open Gauntlet173 opened 5 years ago

Gauntlet173 commented 5 years ago

Just typing person(X) into the "term" field is unintuitive. It needs a different interface for creating a predicate than for creating a symbol.

shaolintl commented 5 years ago

We need to think what is an intuitive solution. You could also write all X: person(X) and ex X: person(X). @Gauntlet173 Do you have a concrete idea of an interface here?

Gauntlet173 commented 5 years ago

I feel like we need a distinction between variables and symbols and statements in the interface that is consistent with what is happening in the code.

Gauntlet173 commented 5 years ago

So maybe "term" should be "specific term", and variables should be "variable term", and something like person(X) should be a unary connective that takes either a specific term or a variable term?