Skip to content
csun-tavlabPublic

About

Implementation Code and More Examples from "Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection", published in LOPSTR+PPDP'26

Resources

Stars

3 stars

Watchers

0 watching

Forks

Latest commit

 

History

2 Commits

Folders and files

Repository files navigation

Wren

To run the miniKanren'26 challenge:

sbt "runMain wren.examples.Challenge categories.txt sentences.txt 7"
  • categories.txt defines the recognized words and the grammatical categories they fall into.
  • sentences.txt defines some example sentences using those words. Bigrams are computed from this information.
  • 7 is a bound on the maximum number of words per sentence; this can be any non-negative integer.

The actual code implementing the challenge is in is in src/main/scala/wren/examples/minikanren_26_challenge.scala. Most of the code handles parsing of the input files and computing bigrams, whereas the real "meat" is in the extendSentence method. This will generate all sentences

About

Implementation Code and More Examples from "Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection", published in LOPSTR+PPDP'26

Resources

Stars

3 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages