Tag
The author developed a Datalog-based memory system for LLMs to maintain accurate state during investigations like vulnerability research, automatically updating conclusions when facts change.
DDisasm is a fast and accurate disassembler that produces reassemblable assembly code using datalog logic programming, supporting multiple ISAs and binary formats.
A DSL based on Google Zanzibar's datalog language for Lean4 to represent and evaluate knowledge bases, manageable under git and without heavy external dependencies.
This paper presents a formal theory for defining reuse of answers in governed conversational AI systems, replacing similarity heuristics with mathematically characterized quotient spaces of resolved utterances.
A blog post discussing evaluation order and nontermination in functional relational query languages like λFS, referencing a paper on finite functional programming presented at FLOPS 2026.
Comprehensive notes on Datalog: what it is, how to implement it in various languages, and its applications in program analysis, with code examples and resources.
The article describes the author's PhD dissertation 'Deconstructing Datalog', which integrates Datalog's recursive query capabilities into a typed functional language (Datafun) by using least prefix points and monotonicity tracking in the type system.