2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Michael Arntzenius, Max Willsey
We unify functional and logic programming by treating predicatesas functions equipped with their support: the set of inputs whose output is nonzero. Datalog, for instance, is a lan…