Guest User

Untitled

a guest
Aug 19th, 2018
87
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.36 KB | None | 0 0
  1. prolog term without a functor
  2. transform([a,b],X)
  3.  
  4. =..((a,b,c,d),X)
  5.  
  6. transform([A], A):-
  7. A=..[_].
  8. transform([A,B], (A,B)):-
  9. B=..[_].
  10. transform([A,B,C|Tail], L):-
  11. L=..[',',A,T],
  12. transform([B,C|Tail], T).
  13.  
  14. ?- transform([a,b], X).
  15. X = (a, b)
  16.  
  17. ?- transform([a,b,c,d,e,f], X).
  18. X = (a, b, c, d, e, f)
  19.  
  20. ?- transform(L, (a,b,c,d,e,f,g))
  21. L = [a, b, c, d, e, f, g]
Add Comment
Please, Sign In to add comment