BDL - A nondeterministic data flow programming language with backtracking

Both visual data flow and logic based programming languages have their merits as declarative languages for certain application domains. Combining their concepts to program with data flows and backtracking seems to be a promising idea, which lead to the development of BDL. BDL is a visual data flow programming language with constructs for nondeterministic programming and constraint checking. Its nondeterminism is resolved by using depth-first search and backtracking a la Prolog.