1131 search results - page 191 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
132
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
166
click to vote
ENTCS
2002
15 years 6 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
171
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
171
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
147
Voted
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...