A formal associative model of logic programming and its abstract instruction set | IEEE Conference Publication | IEEE Xplore