Are HiLog terms still useful in modern Prolog?...

Mulval: installation setup...

How can I simulate a soft cut in Prolog?...

Does HiLog add anything that can not be done with "call" in Prolog?...

ERROR: No procedure usermod : select / 3 exists...

xsb "No procedure usermod" when predicate is already defined...

XSB Prolog partial order tabling...

Unit testing in XSB Prolog?...

for XSB prolog,regarding error...

XSB Prolog: write my own setof function...

Change the Return response of Prolog...

Prolog infinite loop...

Where is the heaps.P library in XSB Prolog?...