947 search results - page 124 / 190 » Declarative Programming in Prolog |
144
click to vote
JSW
2007
15 years 2 months ago
2007
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
138
Voted
NGC
1998
Springer
15 years 2 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
150
Voted
JELIA
2010
Springer
15 years 16 days ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
115
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
123
Voted
ADC
1999
Springer
15 years 7 months ago
1999
Springer
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...