3 search results - page 1 / 1 » wlp 2007 |
WLP
2007
Springer
13 years 10 months ago
2007
Springer
WLP
2007
Springer
13 years 10 months ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
WLP
2007
Springer
13 years 10 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...