2236 search results - page 23 / 448 » Language Independence and Language Tolerance in Logic Progra... |
138
click to vote
ICLP
1991
Springer
15 years 8 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
167
Voted
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
124
click to vote
CLIMA
2004
15 years 6 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
149
Voted
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
141
Voted
IFL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...