https://opakalex.github.io/tags/logic-programming/Recent content in Logic Programming on Alex Opak | Software ArchitectHugoen-usSun, 16 Aug 2026 00:00:00 +0000https://opakalex.github.io/posts/tln-why-a-new-language/Sun, 16 Aug 2026 00:00:00 +0000https://opakalex.github.io/posts/tln-why-a-new-language/The world moves faster than it did in 1995. Prolog gave us a beautiful way to reason over facts, but it was built for a world without LLMs, without live data feeds, without MCP. Tln is a modern reimagining of the expert-system language – deterministic, testable, data-native, and built to sit next to a language model rather than pretend one doesn’t exist.