[[Documentation]]

*Examples

**Append

 append(c(1,c(2,c(3,n))),c(4,c(5,n)),result).
 append(X,Y,Z), n(X)      :- Y=Z.
 append(X,Y,Z), c(A,X1,X) :- c(A,Z1,Z), append(X1,Y,Z1).

[[Download]]


Front page List of pages Search Recent changes Backup   Help   RSS of recent changes