fork download
  1. xyz( [ ], 0, [ ] ) .
  2.  
  3. xyz( [N|Rest], S, [N|RestResult] ) :-
  4. S1 is S - N,
  5. xyz(Rest, S1, RestResult ) .
  6.  
  7. xyz( [N|Rest], S, RestResult ) :-
  8. xyz(Rest, S, RestResult ) .
  9.  
  10. ?- xyz([1,2,3,4,5],5,Result).
  11.  
Success #stdin #stdout 0.02s 6204KB
stdin
Standard input is empty
stdout
Standard output is empty