Nil Geisweiller

Obviously, an option to have the table compact type representation sorta semantically self-contained is to wrap it in a "AS-MOSES:table" predicate or something, like ```scheme (Evaluation (Predicate "AS-MOSES:table") (List (List...

python results are discarded so it's difficult to test it. Agreed it is broken, but I guess we'll address that more deeply after the demo.

I have so far observed 3 types of failures 1. From `testMultiStream` ``` terminate called after throwing an instance of 'concurrent_queue::Canceled' what(): std::exception ``` 2. From `testDrain` ``` ShellUTest.cxxtest:78: Error:...

Not sure it's related but I noticed that `ServerSocket::SetCloseAndDelete()` doesn't always have time to complete because the CogServer shuts down (leading the unit test to halt) before that.

OK, I understand why `ServerSocket::SetCloseAndDelete()` doesn't always complete, it is detached from the `NetworkServer` at its creation, see `NetworkServer::listen()` ```c++ std::thread(&ConsoleSocket::handle_connection, ss).detach(); ``` then when the connection stops, the while...

That's a possible alternative. A few comments 1. You should probably rename `domain` into `intput-table` or something. What I meant by domain was the input class of the functions corresponding...

@linas it's cool that the interpreter is able to reduce that sort of expression out of the box, however when reduction rules start to be fairly costly (which they, in...

> its just that URE-based reduction is potentially quite difficult to implement I don't think it is that difficult if the tool set is ready. @kasimebrahim and others have put...

Good, I actually did remove the build hardwired paths and added a env variable instance `OPENCOG_MODULE_PATHS`.

@linas do you consider the solution sufficiently adequate and the issue should be closed?