Logic Programming and Logarithmic Space

Clément Aubert, Marc Bagnol, Paolo Pistone +1

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterizat…