3 search results - page 1 / 1 » wlp 2007 |
WLP
2007
Springer
14 years 1 days ago
2007
Springer
WLP
2007
Springer
14 years 1 days 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
14 years 1 days 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,...