Prolog versus specialized logic inference engine in General Game Playing | IEEE Conference Publication | IEEE Xplore