fork download
  1. i( [],_,0 ).
  2. i( _,[],0 ).
  3. i( [A|R],[A|S],W ) :- i( R,S,P ), W is P + 1.
  4. i( [_|R],[_|S],W ) :- i( R,S,P ), W is P.
  5.  
  6.  
  7. :-i( [1,2,3,4],[1,3,2,4],I ),writeln(I).
  8. :-i( [1,2,3,4],[1,2,3,4],I ),writeln(I).
  9. :-i( [4,3,2,1],[1,2,3,4],I ),writeln(I).
  10. :-i( [1,1,1,1],[2,2,2,2],I ),writeln(I).
  11.  
Success #stdin #stdout 0.02s 6204KB
stdin
Standard input is empty
stdout
2
4
0
0