Prolog Programming
Explore logical programming with Prolog, covering facts, rules, queries, syntax, structures, scope, arithmetic, lists, and more. Gain comprehensive knowledge of this paradigm's fundamentals.
Prolog Tutorial
Comprehensive tutorial on Prolog programming language covering key concepts, syntax, and practical applications in just over an hour. Ideal for beginners seeking a quick introduction to logic programming.
Shen - A Sufficiently Advanced Lisp
Explore Shen, a powerful Lisp with macro system, Prolog, and advanced type system. Demo showcases seamless integration of functional, logic, and imperative styles in web development.
Maphoon - A C++ Based Parser Generator
Learn to generate C++ parsers with Maphoon, a flexible tool for compiler construction. Explore practical examples, runtime conflict resolution, and efficient regular expression definition in C++.
Four Languages from Forty Years Ago
Explore SQL, Prolog, ML, and Smalltalk from the 1970s, uncovering their unique philosophies and deriving practical principles applicable to modern programming paradigms.
Four Languages from Forty Years Ago
Explore SQL, Prolog, ML, and Smalltalk from the 1970s, uncovering their unique philosophies and extracting practical principles relevant to modern programming paradigms.
Perfect Reasoning for AI Agents Using ReasonAgain - Symbolic Code Implementation
Discover how to enhance AI agent reasoning through symbolic programming, exploring ReasonAgain's methodology for improving LLM mathematical and logical capabilities across multiple coding languages.