What tools exist to compute all possible programs?
post by Alexei
score: 18 (4 votes) ·
This is a question post.
Are there tools / programs out there that try to compute and run all possible programs for some simple, custom language? Like something you might do if you were to naively run AIXI.
answer by dyokomizo
· score: 3 (2 votes) · LW
miniKanren is a logic/relational language. It's been used to solve questions related to programs. For example, once you give miniKanren a description of the untyped λ-calculus extended with integers you can ask it "give me programs that result in 2" and it'll enumerate programs from the constant "2" to "1 + 1" to more complicated versions using λ-expressions. It can even find quines (if the described language supports it).
Comments sorted by top scores.