Instead of logic programming, constraints can be mixed with functional programming, term rewriting, and imperative languages.
Крім логічного програмування, обмеження можуть бути змішані з функціональним програмуванням, переписуванням термів та імперативною мовою.