1131 search results - page 48 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
TOPLAS
1998
13 years 8 months ago
1998
TOCL
2010
13 years 6 months ago
2010
TACS
1994
Springer
14 years 16 days ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
CORR
1998
Springer
13 years 8 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...