3 ms·
?- A = 10, B = 20, A = B. false. Her intuition checks out in my REPL. Seriously though, I'm surprised no-one has mentioned Prolog yet. It's the closest popu
by colanderman 14y ago
?- A = 10, B = 20, A = B.
false.
Her intuition checks out in my REPL.
Seriously though, I'm surprised no-one has mentioned Prolog yet. It's the closest popular language to honest-to-goodness mathematics, to the point that some Prologs can solve linear equations that are written exactly as a system of equations.
- sbmassey 14y agoI was going to say the same thing. 'cut', of course, destroys the purely algebraic nature of the thing, and forces you to understand the whole search-tree and backtracking part of the language, but the basics work.