TR-105: On Adding Constraint Accumulation to Prolog

Abstract

Recently, Colmerauer4 described a variation of Prolog that permits equality and inequality constraints to be specified between distinct logic variables. We describe a generalization of that notion by permitting arbitrary relations as constraints. The generalization is easy to retrofit into existing Prolog systems.