Hi, I'm trying to format a result from a program but getting an hard time.
I wanted to give something like this as result:
Res = do(paint(x) do(clean(a), do(repair(b) , initialState)))
basically, I want to concatenate successive terms to initialState atom but, it doesn't work with atom_concat since the other terms to concatenate aren't atoms and also I wanted to add the ) everytime I pass through the "do" function.
So it would be something like: Res = initialState.
When do function was called, I would have a function like
concatenateTerm(Pred, Res, Res).
Pred beeing repair(b) for instance and obtain the result: res = do(repair(b),
initialState).
Is this possible to be done?
Thanks