next up previous contents index
Next: Terms Up: The XSB System Version Previous: Inline Predicates   Contents   Index


The syntax of XSB is taken from C-Prolog with extensions. This chapter mainly introduces the extensions. The syntax of XSB is that of the HiLog language. The syntax of HiLog is a proper superset of the Prolog syntax.


Baoqiu Cui