I have facts stored in different formats f.e.:
fact(a,b,c)
fact(d,e,f(g,h))
fact(j(k,l),m,n(o,p,q))
...
.. always triple. I want to create a VIEW of the facts by only seeing the functor i.e.
fact(a,b,c)
fact(d,e,f)
fact(j,m,n)
...
how do you do that .. ?
.. of course i want to be able to query them as normal facts ... omitting the hidden structure of-course (it will be interesting to take the hidden structure into account, but lets not complicate things for now)
PS> In general the most important thing is that the fact is a triple .. in the future I may change the possible structure of the items, but I want to be able to have simplified views where it is a triple. Any ideas along these lines are welcome.