Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- domains
- list=integer*
- predicates
- append(list,list,list)
- clauses
- append([],[],[]).
- append([],L,L).
- append(L,[],L).
- append([H|T1],L2,[H|T3]):-append(T1,L2,T3).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
