A Functional-Logic Library for Wired
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 2007

We develop a Haskell library for functional-logic programming and apply it to the implementation of Wired, a relational language for describing and analysing circuits at the VLSI-layout level. Compared to a previous library for logic programming by Claessen, our main contribution is to add support for residuation. Compared to the published paper on Wired, we implement a useful version of the language while demonstrating the use of relations rather than functions in the design of high-performance circuits. Finally, we evaluate the success of our library by comparing it with the dedicated functional-logic language Curry.


Matthew Naylor

Emil Axelsson

Chalmers, Data- och informationsteknik, Datavetenskap

Colin Runciman

Proceedings of International Workshop on Hardware Design and Functional Languages. Braga, Portugal, March 2007