3 ms·
> The sheer number of cases where embedding a little unification engine dramatically simplifies code is pretty baffling. Would love to learn more about this, h
by dualogy 10y ago
> The sheer number of cases where embedding a little unification engine dramatically simplifies code is pretty baffling.
Would love to learn more about this, having done Prolog back in uni. Know of any good articles or posts showcasing "embedding a little unification engine" in modern/otherwise-sub-par programming?
- PeCaN 10y agohttps://rwmj.wordpress.com/2015/12/06/inspection-now-with-added-prolog/ https://rwmj.wordpress.com/2015/12/06/inspection-now-with-ad... is pretty interesting. LuaJIT uses logic programming extensively in its optimization pipeline IIRC, but I don't know of any articles on it (just Mike Pall on newsgroups).
- sklogic 10y agoEven Datalog can be extremely useful: http://www.cs.cmu.edu/~aldrich/courses/654/tools/bierhoff-bddbddb-05.pdf http://www.cs.cmu.edu/~aldrich/courses/654/tools/bierhoff-bd... Also take a look at this, quite a convincing example of how useful Prolog can be in a compiler pipeline: https://pdfs.semanticscholar.org/3667/96ef0c3e9a8b4acb70f838873e4933cdd851.pdf https://pdfs.semanticscholar.org/3667/96ef0c3e9a8b4acb70f838...