use PROLOG as my by hand tool