XSB

[1] It features tabled resolution and supports the HiLog language (permitting limited higher-order logic programming).

[1] Tabling enables XSB to implement the well-founded semantics[1] and makes it suitable as a deductive database engine.

[3] XSB was originally developed at Stony Brook University by David S. Warren, Terrance Swift, and Kostis Sagonas and launched in 1993-4.

It was based on the SB-Prolog language that was also developed at Stony Brook University in 1986, and it was the first implementation of tabled resolution.

[1] XSB supports the ISO-mandated Prolog data types[broken anchor] such as integers, floating point numbers, and atoms.