A scalable distributed heterogeneous associative logic programming system | IEEE Conference Publication | IEEE Xplore