illogical_spock

5 ms·

1. 1.▲
   by illogical_spock 2y ago

   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 the cut. Not if you don't understand wha
2. 2.▲
   by illogical_spock 2y ago

   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 Prolog. Functional programmers ignore this because their te
3. 3.▲
   by illogical_spock 4y ago

   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 problems in the class NP and it's possible that this i
4. 4.▲
   by illogical_spock 4y ago

   > 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 is derived from the axioms of Euclidean geometry, and
5. 5.▲
   by illogical_spock 4y ago

   > 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 have anything to do with causality and in fact