State the obvious: constrained traversal in Prolog

This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.

# Introduction A lot of Prolog programming is about stating the obvious and having the system figure out the rest. This usually means writing facts and predicates that encode our knowledge of “the world”. However, sometimes what we know isn’t a universal fact, but a runtime invariant that can only be defined in the context of a predicate’s execution. In this article I want…

Read on /posts/1-prolog-traversal-constraints/ ↗