m
reasoning now don in Prolog
reasoning now don in Prolog merge