An execution system of logic programming language using neural networks-an improvement of the transformation algorithm | IEEE Conference Publication | IEEE Xplore