Even 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/

Even 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...