Re: The road to Artificial Intelligence

I didn't make all my homework yet.
For example just fiddling around with CLP(FD), I get:
?- maplist(in, Vs, [1\/3..4, 1..2\/4, 1..2\/4,
           1..3, 1..3, 1..6]), all_distinct(Vs).
false.
Does Scryer Prolog CLP(Z) have some explanator for that?
What is exactly the conflict that it fails?
Mild Shock schrieb:

 Terence Tao, "Machine Assisted Proof"
https://www.youtube.com/watch?v=AayZuuDDKP0
 Mostowski Collapse schrieb:

Don't buy your Pearls in Honk Kong. They are all fake.
>
So what do you prefer, this Haskell monster:
https://www.cs.nott.ac.uk/~pszgmh/countdown.pdf