test('test_progs/intersect.pl', 'List Intersection', 
     rtype, [[X/list(or(atom,float)),Y/list(or(atom,integer))]], 
     intersect(X,Y,Z) ). 

test('testpgs/append.pl','append', rtype, 
     [[Xs/list(integer),Ys/list(list(integer))]], append(Xs,Ys,Zs) ).







