implement an interpreter for atomese programs about asmoses HOT 3 CLOSED

@Bitseat I appreciate you taking the steps to writing that issue, however I think we'll begin with a different road, that I'll explain below. But first let me make a few corrections

1. I suppose by (cog-execute! (Plus "Schema-i1" "Schema-i2"))) you mean (cog-execute! (Plus (Schema "i1" (Schema "i2")))), right?
2. To handle multiple arguments you'd use (define (plus . args) ...

So now with my simpler suggestion:

Directly write the interpreter in C++, define in a recursive manner, in the spirit of the Combo' boolean_interpreter and such, or Instantiator::execute() (but much simpler since you don't need to support the whole Atomese vocabulary, say only Plus, Times, And, Or, Not for starter).

Instead of using the representation

(Set
  (List (Node "r1") (Number 1))
  (List (Node "r2") (Number 1))
  (List (Node "r3") (Number 0)))

use directly the list of output values using the proto atom FloatValue, as suggested in #17 .

I know that this somewhat contradictory to what I had suggested before, and it is because it ignores the reasoning aspect. However I think it's a better road to take. First it will give us a very efficient Atomese interpreter (possibly even more efficient than Combo's if subprogram memoization is enabled), and reasoning capabilities can be added later on (using the kind of representation I have initially suggested) when the port has reached the desired level of maturity.

from asmoses.

I was particularly concerned about the reasoning aspect because I wanted to be sure the decisions we take today are compatible with the long term vision, I see things more clearly now thus the change of plan for the interpreter.

from asmoses.

Thank you Nil. @kasimebrahim I hope this will give you some insight into the code you're writing.

from asmoses.