745 search results - page 37 / 149 » The Functional Side of Logic Programming |
125
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
143
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
143
click to vote
ECWEB
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. e-Procurement is an Internet-based business process for obtaining materials and services and managing their inflow into the organization. In this paper we develop multia...
151
click to vote
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
144
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...