2 ms·
What's the best use case for these sort of languages? My guess is rule-based expert systems, but I'd love to hear what the crowd suggests as well.
by jgalt212 12y ago
What's the best use case for these sort of languages? My guess is rule-based expert systems, but I'd love to hear what the crowd suggests as well.
- kyllo 12y agoSolving constraint problems. Like a Sudoku solver: https://news.ycombinator.com/item?id=4325746 https://news.ycombinator.com/item?id=4325746
- sklogic 12y agoThis kind of languages is extremely useful, since many problems maps nicely to a logical or relational model. I'm using a PAIP-style embedded Prolog and an optimised Datalog for fast prototyping compiler passes - things like alias analysis, implementing type systems (e.g., Hindley-Milner maps to Prolog naturally), constant folding, DCE, Array-SSA, and many more. Harlan is using cKanren for region inference and some other passes. A nice motivational paper (on Datalog): http://www.cs.cmu.edu/~aldrich/courses/654/tools/bierhoff-bddbddb-05.pdf http://www.cs.cmu.edu/~aldrich/courses/654/tools/bierhoff-bd...
- jgalt212 12y agoThat's a nice read. Thanks for the rec.