Clojurians Log v2

@valery.lavrentiev It looks interesting. @sia.mohammady66 Why clara and not https://github.com/oakes/odoyle-rules ?

@alberto.miorin I didn't know about odoyle 🙂

LLMs can write rules with clara DSL fairly well given some basic instructions about fact types and domain, but beware if your domain is really large and your collection of rules exceeds the LLM's token limit then it will start getting more limited. One area where I've had more success, but also with the same limitations is in using LLM assisted coding to help me check and add more test coverage to my rules, since Clara Rules does not support Code Coverage instrumentation on the LHS (the fork I use does support coverage on the RHS).

You can see my talk on using logic programming (Clara rule engine) & LLM, https://youtu.be/ERvoEvNZTII?si=7LCzvknIvqkfE86Q

Architecture of what i used in one project

I didn’t see it in the video I think but one difference would be Clara has a truth maintenance system (TMS). I don’t believe odoyle does. So if you were utilizing that, that’d be important.