1131 search results - page 27 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
APPINF
2003
13 years 9 months ago
2003
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
FPCA
1995
13 years 12 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
LICS
1989
IEEE
13 years 12 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
AAAI
2006
13 years 9 months ago
2006
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...