http://www.w3.org/ns/prov#value | - That said, this is also the sort of thing you can do with normalization and higher-order unification in a dependently typed language like Agda, so I do not think any of this is especially strong evidence that Prolog is what we want the programmable part of inference to look like.
|