Checking NC part programs using PROLOG | lit.salon