Viewing profile — illogical_spock

It sure is if you read enough "Functional Pearls" to think all you need for logic programming is some backtracking. Oh, and the cut. Because you can't control backtracking without …

I suppose you could hack a bug-ridden implementation of Prolog unification in Prolog but why? Hindley-Milner type inference is unification over types and unification is built-in to…

More to the point, our mathematics work to solve real problems up to a certain point . For instance our mathematics have not yet been able to identify polynomial-time solutions to …

> And the Pythagorean theorem is a universal truth that holds everywhere. Or at least in every world where there exist straight lines, yes? For instance: > The Pythagorean theorem …

> Any such alien will distinguish true and false, will have AND, OR and NOT connectives, and will understand a form of implication (it's inherent to causality). Implication doesn't…