SWI-Prolog got a new form of tabling some time ago: monotonic tabling. That remained in a rather experimental state for quite a while. It is now picked up again to deal with reasoning about C++ binary code together with CMU in the Pharos project.
This is a companion discussion topic for the original entry at https://www.swi-prolog.org/blog/monotonic-rdfs.md