The Kiel Curry System KiCS

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 means of search trees, referentially transparent encapsulation and sharing across nondeterminism.

• Type: Conference
• Year: 2007
• Where: WLP
• Authors: Bernd Brassel, Frank Huch
• Keywords: Artificial Intelligence, Curry Implementations, Kiel Curry System, Logic Language Curry, WLP 2007