A Framework for Extending microKanren with Constraints
We present a framework for building CLP languages with symbolic constraints based on microKanren, a domain-specific logic language shallowly embedded in Racket. We rely on Racket's macro system to generate a constraint solver and other components of the microKanren embedding. The framework itse...
Main Authors: | Jason Hemann, Daniel P. Friedman |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2017-01-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1701.00633v1 |
Similar Items
-
Model-independent constraints with extended dark matter EFT
by: Tommi Alanne, et al.
Published: (2020-10-01) -
Extending UML to include security constraints for embedded systems
by: Das, Hitesh K.
Published: (2016) -
A framework to extend configuration management
by: Allan, George William
Published: (2003) -
Extending the analysis of electroweak precision constraints in composite Higgs models
by: Diptimoy Ghosh, et al.
Published: (2017-01-01) -
Pan-mammalian analysis of molecular constraints underlying extended lifespan
by: Amanda Kowalczyk, et al.
Published: (2020-02-01)