Comments (1)
Upon reflection (and reading an e-mail from B), I realize this is the expected and desirable behavior. Nevertheless, it would be nice to be able to support unification in matche patterns by referencing variables in the patterns themselves. Perhaps it would make sense to use different syntax when referencing a variable than when introducing one.
from faster-minikanren.
Related Issues (13)
- Wrong result with absento HOT 4
- Add generalized absento HOT 5
- Disequality constraint not being honored HOT 3
- Does not compile with Guile 2.2.3 HOT 6
- Bignums, big problem HOT 4
- dead link in readme HOT 1
- Use variable-age ordering to simplify disequality
- Integrate atomic type constraints with unification
- Room to cleanup compatibility layer
- `vars` may produce duplicates
- Unused argument in reifier
- Chicken scheme support? HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from faster-minikanren.