miniKanren, live and untagged: quine generation via relational interpreters (programming pearl).
William E. ByrdEric HolkDaniel P. FriedmanPublished in: Scheme@ICFP (2012)
Keyphrases
- programming language
- data model
- relational databases
- virtual machine
- database language
- database
- relational data
- object oriented
- relational learning
- description language
- multi relational
- open source
- case study
- conditional independence
- generation process
- representation language
- generation method
- statistical relational learning
- real time