3572 search results - page 83 / 715 » Nominal Logic Programming |
115
Voted
LISP
2007
15 years 13 days ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
122
Voted
CLEIEJ
2010
14 years 10 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
100
click to vote
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
101
Voted
ICLP
1994
Springer
15 years 4 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
101
click to vote
SLP
1997
15 years 1 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...