Tag
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.