Pass the knowlegde base space as an argument

[tanksha]

I modified the chainer to take kb as an argument, for consistency

Faced some issues with asserting results containing variables, I using match for now. Here is a minimal example:

!(bind! &kb (new-space))
!(add-atom &kb (: test (implies $p $q)))
!(assertEqualToResult (get-atoms &kb) ((: test (implies $p $q))))

Results with assertion error, because the variables $p and $q in first and second expression are not the same?

My work around:

!(bind! &kb (new-space))
!(add-atom &kb (: test (implies $p $q)))
!(assertEqualToResult (match &kb (: test (implies $p $q)) asserted) (asserted))

[ngeiswei]

Thanks @tanksha, something else I've been changing is to have the query as last argument, that way the other arguments can be seen as parameters of what really matters, which is to fulfill the query.

Regarding the problem with assert I've created a issue about that while ago trueagi-io/hyperon-experimental#744

[tanksha]

Sure. I will make the query the last argument. BTW, I can work on converting this into a module, do you have any preferences on the module structure?

[ngeiswei]

I can't think of anything special.