ParadigmConstraintUsers declaratively state the constraints on the feasible solutions for a set of decision variables.HomepageMarkdownEditInfluence graphInfluence graph for Constraint: 2 of 6 languages, 1 influence linksSWI-Prolog influenced GNU PrologSWI-PrologGNU PrologSolid arrows: influence, oldest at the top. Showing the 2 of 6 constraint languages that influenced another member.PlangsCiaoCurryGNU PrologMiniZincPicatSWI-Prolog