2236 search results - page 3 / 448 » Language Independence and Language Tolerance in Logic Progra... |
132
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
127
click to vote
IJCAI
1993
15 years 4 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
119
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
127
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...