Fraol
Batole
· Trustworthy AI . Program Analysis
Toggle navigation
about
publications
projects
blog
cv
ctrl k
verification
an archive of posts with this tag
Jul 25, 2026
AgentPrologKit — letting agents use Prolog without writing Prolog