Springer Logic Programming With Prolog