% From Metagol find-duplicate.pl pos(f([1,3,3,4,2,5],3)). pos(f([6,4,2,5,3,5,1],5)). pos(f([7,3,4,2,1,5,6,7,8],7)). pos(f([6,5,7,8,4,2,1,3,7],7)). pos(f([14,4,13,6,12,1,9,2,10,8,15,5,7,14,3,11],14)). neg(f([6,5,8,4,2,1,3,7],7)). neg(f([6,5,8,4,2,1,3,7],6)).