Everything I know
🏡
🐦
🐙
📷
Search…
README
Meta
Sharing
Ideas
Focusing
Minimalism
Research
Knowledge
Environment
Music
Life
Writing
macOS
Hardware
Math
Computer Science
Programming
Functional programming
Object-oriented programming
Logic programming
Array programming
Constraint programming
Relational programming
Dynamic programming
Semantic versioning
Reverse engineering
Protocol Buffers
Coding practice
Serialization
Competitive Programming
Design patterns
System Design
Continuous Integration
Documentation
Embedded systems
Encoding
Version control
Concurrency
Memory management
Hashing
Regex
Logging
Interactive computing
Visual programming
Software architecture
Probabilistic programming
Recursion
Reactive programming
Program synthesis
Structured programming
Agile development
Stream processing
Program analysis
State machines
Software testing
JSON
Programming languages
Data Science
Open Source
Languages
Text editors
Operating systems
Package managers
DevOps
Mindfulness
Compilers
Physics
Biology
Automation
Education
Economy
Governance
Consciousness
Drugs
Chemistry
Unix
Web
Cloud computing
Front End
Security
Social networks
Networking
Health
Fitness
Medicine
History
Travel
Geography
Business
Relationships
3D Printing
Anki
Philosophy
Video
Machine learning
Computer graphics
Tools
Design
Keyboards
Future
Cryptocurrencies
Privacy
Games
Streaming
Talks
Analytics
Databases
Art
API
Distributed systems
Backups
Space
Psychology
Sleep
IRC
Work
Management
LaTeX
Robots
NLP
Virtual Reality
Augmented Reality
Neuroscience
CLI
Humans
Philanthropy
Animals
Podcasts
Documentaries
Movies
TV series
Courses
Articles
Poems
Research papers
Books
Other
Notes
Code
Looking back
Powered By
GitBook
Relational programming
Links
guanxi
- Exploration of relational programming in Haskell.
hs-logic
- Simple library for Haskell that allows relational programming.
Imp
- Spreadsheets + Relations + Time. (
Code
)
Relational programming in miniKanren: Techniques, applications, and implementations
(
Code
)
TablaM
- Practical relational programing language for data-oriented applications. (
Web
)
William Byrd on logic and relational programming, miniKanren (2014)
(
HN
)
metaKanren: Towards a self-synthesizing miniKanren
(
Code
)
µKanren-rs
- Rust implementation of µKanren, a featherweight relational programming language.
µKanren
- Implementation of microKanren, a featherweight relational programming language.
microKanren in Lua
staged-miniKanren
- Staged relational interpreters: running with holes, faster.
relic
- Functional relational programming for Clojure/Script.
"Strange Dreams of Stranger Loops" by Will Byrd (2021)
(
Code
)
Previous
Constraint programming
Next
Dynamic programming
Last modified
1mo ago
Copy link
