A study on assisting in Prolog program comprehension by using stepwise execution and stepwise comparison | IEEE Conference Publication | IEEE Xplore