solve(bs,ls,X,LastNode). bs gp oc bs cc pc bs pc tc gp oc gp ls X = 13 LastNode = n(ls, n(cc, n(gp, n(bs,-1))))