Pattern-matching - minikanren?

[guitarvydas]

See optima. (https://github.com/m2ym/optima) and miniKanren (http://minikanren.org).

PEG: see Janet. I use Ohm (ohmjs.org), but, it ain't Common Lisp. IMO, OhmJS is to textual programming what macros are to Lispers. OhmJS can generate CL code...

[vindarel]

optima and trivia are referenced - edit: there is no "pattern matching" section though.

PEG: see Janet's port to CL: https://github.com/ravi-delia/uclp It's referenced under "text and binary parsers", there might be a better section?

Do we have a good minikanren CL library worth referencing here?