I use it for reverse engineering unknown struct layouts for DWG classes. A field packing problem. I'm using picat, a better Prolog dialect, and generate the fa

I use it for reverse engineering unknown struct layouts for DWG classes. A field packing problem. I'm using picat, a better Prolog dialect, and generate the facts automatically from C to generate the field layouts via picat automatically. https://github.com/LibreDWG/libredwg/blob/master/examples/ACAD_EVALUATION_GRAPH.pi https://github.com/LibreDWG/libredwg/blob/master/examples/AC... optimization problems as in compilers are extremely natural in Prolog.