| Did you know ... | Search Documentation: |
| source.pl -- Support XSB source .P files |
This module is a lightweight module that allows loading .P files as XSB
source files. This module is intended to be loaded from
<config>/init.pl, providing transparent usage of XSB files with
neglectable impact impact if no XSB sources are used.
directive_exports(+AllDirectives, -Public, -OtherDirectives)[private]
head_directives(+Directives, +File)// is det[private]
head_directives_s(+Directives, +State)// is det[private]
head_directive(+Directive, +State)// is det[private]
xsb_directives(+File, -Directives) is semidet[private]