Point-Free Logic Programming
Summary
The article discusses point-free logic programming, a concept related to functional programming paradigms.
Similar Articles
Abstract Machines for Logic Programs
The article explores the implementation of logic programs using abstract stack machines, detailing how different mode assignments for inference rules (such as addition) translate into state machine transitions for computation.
Logic for Programmers extra credits
Hillel Wayne announces supplementary chapters for his book 'Logic for Programmers', covering topics like concurrent processes, first-order logic, Liskov's history rule, and orders.
Prolog Basics Explained with Pokémon
An introduction to Prolog programming using Pokémon type matchups as a motivating example, demonstrating how logic programming can elegantly model relational data.
Thinking in States
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.
Prolog Coding Horror
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.