Most Prolog systems implement logic programming only incompletely, because they omit the occur check and use only the depth-first search. ECLiPSe offers a complete system for Horn clause logic by providing optional compiler support for the occur check and for the depth-first iterative deepening search rule.