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.
