A Functional-Logic Library for Wired
Paper in proceedings, 2007

We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysing digital circuits at the VLSI-layout level. Compared to a previous library for logic programming by Claessen and Ljunglöf, we support residuation, easier creation of logical data types, and pattern matching. We discuss other applications of our library, including test-data generation, and various extensions, including lazy narrowing.

Author

Matthew Naylor

University of York

Emil Axelsson

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Colin Runciman

University of York

Proceedings of the ACM SIGPLAN 2007 Haskell Workshop. Freiburg, Germany, Sept 2007

37-48

Areas of Advance

Information and Communication Technology

Subject Categories

Computer and Information Science

DOI

10.1145/1291201.1291207

ISBN

978-1-59593-674-5

More information

Latest update

3/6/2018 7