Nil Geisweiller

It's coming... ;-) Solving the Schema/ExecutionOutput thing actually took me a few hours (mostly cause I don't know Haskell that well).

I think I'm basically done for now, see https://github.com/ngeiswei/opencog/blob/haskell-type-checking-experiment/opencog/haskell/hypergraph_type_checking/experiment_with_GADT.hs It's neither exhaustive nor perfect. In particular the type checking of atom bodies involving variables is too relaxed. For instance it...

> Remove Values from Atoms. Place Values on AtomSpaceLinks. @linas, could you expand a bit? I understand you'd want the same atom to hold different value per atomspace, but I...

> We can call the new thing "ContextLink" Actually, we probably shouldn't call it `ContextLink` because it already has a defined PLN semantics (it is almost like an `ImplicationLink` or...

The PLN book definition of `ContextLink` is ``` ContextLink C R A B is equivalent to R (A AND C) (B AND C) ``` However it's not true for all...

BTW, most of the complexity of the BIT code goes into sticking rules to inference trees. The Back Inference Tree itself is merely a population of inference trees, i.e. BindLinks....

I think it make sense. Will take care of that once I'm done supporting LocalQuoteLink.

Actually I don't think `DontExecLink` can be replaced by a `LocalQuoteLink`. For instance I don't see how to prevent the result from being executed, in the following example ``` (BindLink...

It seems `DontExecLink` could be replaced by `LocalQuoteLink` on links, but not on variable nodes. So it still necessary.

> Am I right that issue is if one createsGet link then atomspace code alpha converts parts of the lilnk. But pattern matcher cannot deal with result of such conversion?...