850 search results - page 19 / 170 » A Logic Programming Language Based on Binding Algebras |
103
click to vote
WWW
2006
ACM
16 years 1 months ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
143
click to vote
ESOP
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
110
click to vote
ICLP
1998
Springer
15 years 5 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
104
click to vote
INAP
2001
Springer
15 years 5 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
100
click to vote
DEXA
1994
Springer
15 years 5 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...