Search Results - "Implementations of Logic Programming"

Efficient implementation of general negation using abstract interpretation

Authors: Muñoz Hernández, Susana Moreno Navarro, Juan José Hermenegildo, Manuel V.

Source: Procredings. of the AGP'2000 Joint Conference on Declarative Programming | AGP'2000 Joint Conference on Declarative Programming | 4-7 December, 2000 | La Habana, Cuba
Archivo Digital UPM
instname

Subject Terms: Informática, Interpretación de resúmenes, Constraint Logic Programming, Implementaciones de programación lógica, Análisis de programas, Program analysis, Negation in Logic Programming, Abstract interpretation, Programación lógica restringida, Negación en programación lógica, Implementations of logic Programming

File Description: application/pdf

Access URL: https://oa.upm.es/14619/

Efficient Implementation of General Negation Using Abstract Interpretation

Authors: Susana Munoz Juan Jose Moreno Manuel Hermenegildo et al.

Contributors: Susana Munoz Juan Jose Moreno Manuel Hermenegildo et al.

Source: http://lml.ls.fi.upm.es/~jjmoreno/jjpapers/imp-negation.ps.

Subject Terms: Negation in Logic Programming, Constraint Logic Programming, Program Analysis, Implementations of Logic Programming, Abstract Interpretation

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9341

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9341
http://lml.ls.fi.upm.es/~jjmoreno/jjpapers/imp-negation.ps

Implementations of Logic Programming Systems

Authors: Tick E Succi G

Subject Terms: implementations of logic programming systems, Practical Implementations, n Logic Programming Systems, Parallel Implementations

Access URL: https://philpapers.org/rec/TICIOL
https://ci.nii.ac.jp/ncid/BA22904382
https://www.dropbox.com/s/nv19otbafi64pm6/Succi.E1.ImplementationsOfLogicProgrammingSystems.pdf?dl=0
https://hdl.handle.net/11585/894859

Efficient Implementation of General Negation Using Abstract Interpretation

Authors: Susana Munoz Juan Jose Moreno Juan José et al.

Contributors: Susana Munoz Juan Jose Moreno Juan José et al.

Source: http://clip.dia.fi.upm.es/papers/negation-gulp.pdf.

Subject Terms: Negation in Logic Programming, Constraint Logic Programming, Program Analysis, Implementations of Logic Programming, Abstract Interpretation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4564

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4564
http://clip.dia.fi.upm.es/papers/negation-gulp.pdf