Logic Programming and Logarithmic Space

@inproceedings{Aubert2014LogicPA,
  title={Logic Programming and Logarithmic Space},
  author={Cl{\'e}ment Aubert and Marc Bagnol and Paolo Pistone and Thomas Seiller},
  booktitle={APLAS},
  year={2014}
}
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 characterization of logspace (deterministic and non-deterministic) computation is given via a syntactic restriction, using an encoding of words that derives from proof theory. We show that the acceptance of a word by an observation (the counterpart of a program in the encoding) can be decided within logarithmic space, by reducing… CONTINUE READING