Sciweavers

3562 search results - page 86 / 713
» Introduction to Logic Programming
Sort
View
ESOP
2010
Springer
15 years 7 months ago
Logical Concurrency Control From Sequential Proofs
G. Ramalingam, Jyotirmoy V. Deshmukh, Kapil Vaswan...
LOPSTR
2005
Springer
15 years 3 months ago
Declarative Programming with Function Patterns
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
Sergio Antoy, Michael Hanus
ICCL
1998
IEEE
15 years 2 months ago
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
PPDP
1999
Springer
15 years 2 months ago
Functional Plus Logic Programming with Built-In and Symbolic Constraints
Puri Arenas-Sánchez, Francisco Javier L&oac...