fork(1) download
copy 
  1. unify(_,[],[]).
  2. unify([],L,L).
  3. unify([H|T1], [H|T2], [H|R]) :- unify(T1, T2, R).
  4. unify([H1|T1], [H2|T2], [H2|R]) :- H1 \= H2, unify([H1|T1], T2, R).
  5.  
  6. :- unify([2], [1,_,3], L), write(L), nl.
  7. :- unify([2,4], [1,_,3,_,5,6], L), write(L), nl.
Success #stdin #stdout #stderr 0.02s 6204KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
[1, 2, 3]
[1, 2, 3, 4, 5, 6]
stderr
copy 

    

	
			

					
			
			
			
			
			
			
			
			

			
			
			
		

	
		
		

			

			                        







			
			

				

	
					
					 https://ideone.com/djXECf
					
					
					
					
					

												

												
						
						

					

					
					
					

						
language:

						
Prolog (swi 7.6.4)

					

					

						
created:
								
						
11 years ago

					

					

						
visibility:

						

							 public																												
							
							

								
							

						

					

										
										

					
					 Share or Embed source code
					
					
					
					

						
						
						
						
						
						
						
					

					
						
	
	
	
	
					
					
					
					
					 
					
					
					
					 
					
					
					
					
					
					

					

					

					
						
					

					


	
Discover > Sphere Engine API

	
The brand new service which powers Ideone!

	
	
Discover > IDE Widget

    
Widget for compiling and running the source code in a web browser!