Modern Deduction Post 1: Chain-Forward Computation

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

Our setting is logic programming, a field which attempts to design programming languages whose semantics have a close relationship to formal logic. The reason we might want to do this is that it suits our application domain more precisely than an implementation in a traditional programming language. Thus, using a logic programming language allows us to write more obviously-correct code, and…

Read on /modern-deduction/1 ↗