Archive

• [2023-11-14] Scryer Prolog Meetup 2023 Notes
• [2023-03-12] library(ffi) now available on Scryer Prolog
• [2022-04-03] Using PostgreSQL from Prolog
• [2022-01-30] Parallel Logic Programming: A Sequel
• [2022-01-30] Using Prolog to unravel the foundations of oncology dose-escalation trial designs
• [2022-01-30] 50 years of Prolog and beyond
• [2021-12-18] Modules are objects
• [2021-12-18] Predicate semantics
• [2019-10-02] Easily QuickCheck your predicates
• [2019-10-02] Homoiconic Prolog: Explain yourself!
• [2019-09-25] Difference Lists Explored
• [2019-09-18] Functional Prolog: Map, Filter and Reduce
• [2019-09-17] Prolog Fundamentals Catchup
• [2019-09-16] Tips on planning, documenting, and testing a SWI-Prolog project
• [2019-09-10] A Prolog Language Server
• [2019-09-04] Transitive relations, a deeper dive.
• [2019-08-28] Hello, !, the second program improved.
• [2019-08-21] Reification By Example
• [2019-08-14] Hello, Tau Prolog!
• [2019-08-07] Introduction to CLP(FD) for Resource Management
• [2019-08-02] Failure-driven loops: when and how
• [2019-07-31] Game tree tutorial
• [2019-07-31] Using A* for Planning
• [2019-07-26] How to write a compiler or interpreter in Prolog
• [2019-07-24] Opening the World with Three-Valued Logic.
• [2019-07-10] Various ways to iterate in Prolog
• [2019-07-10] is_Of and has_: Predicate Naming
• [2019-07-08] A Very Specific Prolog Warning
• [2019-07-03] Framing Frames
• [2019-06-26] Graph Traversal for Problem Solving
• [2019-06-26] Operators for a Controlled Natural Language
• [2019-06-25] Multifile predicates: dos and don'ts
• [2019-06-24] DCGs provide a threading state abstraction: don't break it
• [2019-06-19] Consuming JSON from an API
• [2019-06-12] Code Layout for Lists, Dicts and Module Predicates
• [2019-06-10] A List of All Different Variables
• [2019-06-06] Awkward ID generation with a DCG
• [2019-06-03] Writing an HTTP/2 Client in Prolog
• [2019-05-29] Reflexive, Symmetric and Transitive Relations in Prolog
• [2019-05-29] SHA-1 Hash in Pure Prolog
• [2019-05-27] Bit-Twiddling in Prolog
• [2019-05-25] Writing a blog using SWI Prolog
• [2019-05-22] Setting Up Unit Testing In SWI-Prolog
• [2019-05-18] Extended DCGs
• [2019-05-17] Space Age Prolog
• [2019-05-15] Circumventing Negation as Failure Issue with Ontology
• [2019-05-15] Prolog: Forwards and Backwards