FIDO: Finite Domain Consistency Techniques in Logic Programming.
Manfred Meyer, Hans-Günther Hein, Jörg P. Müller · 1991
In this paper we discuss different implementation for FIDO, a logic programming language with finite domain constraints and consistency techniques. These approaches range from meta-interpretation over horizontal compilation (source-to-source transformation) through vertical compilation down to an extended Warren Abstract Machine. We will stress the horizontal compilation approach which already shows promising results, whereas the deeper integration on a lower implementation layer by extending the unification and control instructions of the WAM will finally give much better performance results.