Title: Checking NC part programs using PROLOG