←back to thread

Learn Prolog Now

(lpn.swi-prolog.org)
226 points rramadass | 2 comments | 12 Nov 25 14:54 UTC | HN request time: 0.415s | source
Show context
DeathArrow ◴[12 Nov 25 16:45 UTC] No.45902360[source]▶
What kind of problems is Prolog helping to solve besides GOFAI, theorem proving and computational linguistics?
replies(6): >>45902548 #>>45902628 #>>45902748 #>>45903095 #>>45903872 #>>45905735 #
1. taolson ◴[12 Nov 25 20:09 UTC] No.45905735[source]▶
Prolog's constraint solving and unification are exactly what is required for solving type-checking constraints in a Hindley-Milner type system.
replies(1): >>45907598 #
2. hunterpayne ◴[12 Nov 25 22:16 UTC] No.45907598[source]▶
Yes, absolutely...I just wish the people who wrote FP compilers knew this.