This issue is to complement the Section "Represent Problem Data in AtomSpace" of issue #3 as well as much of what has been discussed in issue #12 (from comment #12 (comment) and on). I prefer to create a separate issue for it rather than continuing growing #12 .
Here's yet another way to represent the data (not saying we should implement it, it's just worth considering)
(Execution
(CurriedFunMapLink (Schema "f"))
(List
(Node "r1")
...
(Node "rn"))
(List
(Number 1)
...
(Number 0))))
where CurriedFunMapLink is the same thing as in #11 but instead of taking 2 arguments, a function and a list, it takes a single function and turns it into a function from list of inputs to list of outputs.
CurriedFunMapLink could obviously be decomposed into smaller parts, like a say using a CurryLink and a FunMapLink. But since we have none at this point there is no point bothering. And obviously PutLink could probably be used instead of FunMapLink, as @kasimebrahim would probably have pointed out.
This issue is to complement the Section "Represent Problem Data in AtomSpace" of issue #3 as well as much of what has been discussed in issue #12 (from comment #12 (comment) and on). I prefer to create a separate issue for it rather than continuing growing #12 .
Here's yet another way to represent the data (not saying we should implement it, it's just worth considering)
where
CurriedFunMapLinkis the same thing as in #11 but instead of taking 2 arguments, a function and a list, it takes a single function and turns it into a function from list of inputs to list of outputs.CurriedFunMapLinkcould obviously be decomposed into smaller parts, like a say using aCurryLinkand aFunMapLink. But since we have none at this point there is no point bothering. And obviouslyPutLinkcould probably be used instead ofFunMapLink, as @kasimebrahim would probably have pointed out.