XSB
XSB extends Prolog with tabled resolution and HiLog ( a standard extension of Prolog permitting limited higher-order logic programming ) . 
<triplet> XSB <subj> higher-order logic programming <obj> programming paradigm