mdiep / Logician

Logic programming in Swift
MIT License
194 stars 10 forks source link

Add a map method to Variables #4

Closed mdiep closed 8 years ago

mdiep commented 8 years ago

As a way of adding constraints

// should find "mouse", "moose"
let fourLetterWords: AnyIterator<String> = solve { word in
    return word.map { $0.length } == 5
        && any(
            word == "dog",
            word == "cat",
            word == "mouse",
            word == "moose",
        )
}
mdiep commented 8 years ago

Done in bacd8ac5e172d3c798b76cec129e1e89215b5788.