run each file in swi prolog for validation, they should succeed in both prologs