https://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. L

https://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).