1131 search results - page 191 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
ICLP
1999
Springer
15 years 4 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...
99
Voted
ENTCS
2002
15 years 6 days 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...
100
click to vote
SAC
2006
ACM
15 years 6 months 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...
103
click to vote
ESWS
2007
Springer
15 years 6 months 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...
CSL
2004
Springer
15 years 5 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...