Using PROLOG for digital circuits simulation | IEEE Conference Publication | IEEE Xplore