Logic programming and logarithmic space

CléMent Aubert; Marc Bagnol; Paolo Pistone; Thomas Seiller

doi:10.1007/978-3-319-12736-1_3

Logic programming and logarithmic space

CléMent Aubert
, Marc Bagnol
, Paolo Pistone
, Thomas Seiller

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Scopus citations

Abstract

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 this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multihead finite automata, a kind of pointer machine that is a standard model of logarithmic space computation.

Original language	English (US)
Title of host publication	Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings
Editors	Jacques Garrigue
Publisher	Springer Verlag
Pages	39-57
Number of pages	19
ISBN (Electronic)	9783319127354
DOIs	https://doi.org/10.1007/978-3-319-12736-1_3
State	Published - 2014
Externally published	Yes
Event	12th Asian Symposium on Programming Languages and Systems, APLAS 2014 - Singapore, Singapore Duration: Nov 17 2014 → Nov 19 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8858
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	12th Asian Symposium on Programming Languages and Systems, APLAS 2014
Country/Territory	Singapore
City	Singapore
Period	11/17/14 → 11/19/14

Keywords

Automata
Geometry of interaction
Implicit complexity
Logarithmic space
Logic programming
Pointer machines
Proof theory
Unification

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-12736-1_3

Cite this

Aubert, C., Bagnol, M., Pistone, P., & Seiller, T. (2014). Logic programming and logarithmic space. In J. Garrigue (Ed.), Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings (pp. 39-57). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8858). Springer Verlag. https://doi.org/10.1007/978-3-319-12736-1_3

Logic programming and logarithmic space. / Aubert, CléMent; Bagnol, Marc; Pistone, Paolo et al.
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings. ed. / Jacques Garrigue. Springer Verlag, 2014. p. 39-57 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8858).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Aubert, C, Bagnol, M, Pistone, P & Seiller, T 2014, Logic programming and logarithmic space. in J Garrigue (ed.), Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8858, Springer Verlag, pp. 39-57, 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, Singapore, Singapore, 11/17/14. https://doi.org/10.1007/978-3-319-12736-1_3

Aubert C, Bagnol M, Pistone P, Seiller T. Logic programming and logarithmic space. In Garrigue J, editor, Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings. Springer Verlag. 2014. p. 39-57. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-12736-1_3

Aubert, CléMent ; Bagnol, Marc ; Pistone, Paolo et al. / Logic programming and logarithmic space. Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings. editor / Jacques Garrigue. Springer Verlag, 2014. pp. 39-57 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{17c095efd34e4f9aab368626045ef8a9,

title = "Logic programming and logarithmic space",

abstract = "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 this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multihead finite automata, a kind of pointer machine that is a standard model of logarithmic space computation.",

keywords = "Automata, Geometry of interaction, Implicit complexity, Logarithmic space, Logic programming, Pointer machines, Proof theory, Unification",

author = "Cl{\'e}Ment Aubert and Marc Bagnol and Paolo Pistone and Thomas Seiller",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014.; 12th Asian Symposium on Programming Languages and Systems, APLAS 2014 ; Conference date: 17-11-2014 Through 19-11-2014",

year = "2014",

doi = "10.1007/978-3-319-12736-1\_3",

language = "English (US)",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "39--57",

editor = "Jacques Garrigue",

booktitle = "Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings",

}

TY - GEN

T1 - Logic programming and logarithmic space

AU - Aubert, CléMent

AU - Bagnol, Marc

AU - Pistone, Paolo

AU - Seiller, Thomas

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2014.

PY - 2014

Y1 - 2014

N2 - 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 this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multihead finite automata, a kind of pointer machine that is a standard model of logarithmic space computation.

AB - 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 this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multihead finite automata, a kind of pointer machine that is a standard model of logarithmic space computation.

KW - Automata

KW - Geometry of interaction

KW - Implicit complexity

KW - Logarithmic space

KW - Logic programming

KW - Pointer machines

KW - Proof theory

KW - Unification

UR - https://www.scopus.com/pages/publications/84910000431

UR - https://www.scopus.com/pages/publications/84910000431#tab=citedBy

U2 - 10.1007/978-3-319-12736-1_3

DO - 10.1007/978-3-319-12736-1_3

M3 - Conference contribution

AN - SCOPUS:84910000431

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 39

EP - 57

BT - Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings

A2 - Garrigue, Jacques

PB - Springer Verlag

T2 - 12th Asian Symposium on Programming Languages and Systems, APLAS 2014

Y2 - 17 November 2014 through 19 November 2014

ER -

Logic programming and logarithmic space

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this