Control-flow based testing of Prolog programs | IEEE Conference Publication | IEEE Xplore