Tag
Huzzah is an experimental editor that introduces a declarative, pseudocode-based approach to coding with AI, addressing limitations of current coding agents by making prompts persistent and efficient.
This paper presents ezsmtv3, an extensible SMT-based Constraint Answer Set Programming framework that introduces a more expressive input language and optimization via weak constraints, leveraging solvers like cvc5, yices, and z3.
Strabo is a research contribution that models Google's Universal Commerce Protocol (UCP) as a declarative Langshaw protocol and implements agents using the Peach programming model, demonstrating interoperability between formally-specified agents and Google's UCP agents for agentic AI e-commerce interactions.
A guide to common pitfalls in Prolog programming, emphasizing the use of pure and declarative constructs over impure ones like cuts, global state, and low-level I/O.
The article explains the conceptual shift required when moving from imperative to declarative programming, using Prolog to illustrate thinking in terms of relations rather than mutable state.