Cargando…

Reversible Computations in Logic Programming

In this work, we say that a computation is reversible if one can find a procedure to undo the steps of a standard (or forward) computation in a deterministic way. While logic programs are often invertible (e.g., one can use the same predicate for adding and for subtracting natural numbers), computat...

Descripción completa

Detalles Bibliográficos
Autor principal: Vidal, Germán
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7342172/
http://dx.doi.org/10.1007/978-3-030-52482-1_15