https://123dok.net/document/q5m4297y-logic-programming-and-logarithmic-space.html