Did you know ... | Search Documentation: |
![]() | Search results for "static" |
Reference Manual | ||
---|---|---|
12.2 Linking Foreign Modules | ||
Sec. 12.2.5 | Static Linking | |
A.38 library(predicate_options): Declare option-processing of predicates | ||
derived_predicate_options/3 | Derive option arguments using static analysis. | ![]() |
4.15 Declaring predicate properties | ||
compile_predicates/1 | Compile a list of specified dynamic predicates (see dynamic/1 and assert/1) into normal static predicates. | |
Packages | ||
A C++ interface to SWI-Prolog | ||
Sec. 1.17.5 | Static linking and embedding | |
JPL: A bidirectional Prolog/Java interface | ||
jpl_get/3 | X can be a classnameor a descriptoror an (object or array) type (for static fields)or a non-array object (for static and non-static fields)or an array (for’length’pseudo field, or indexed element retrieval) Fspec can be an atomic field nameor an integral array index (to get an element from an array)or a pair I-J of integers (to get a subrange of an array). | ![]() |
jpl_set/3 | sets the Fspec-th field of (class or object) X to value V iff it is assignable X can be a class instance (for static or non-static fields)or an array (for indexed element or subrange assignment)or a classname, or a class(_,_) or array(_) type (for static fields)but not a String (no fields to retrieve) Fspec can be an atomic field name (overloading through shadowing has yet to be handled properly)or an array index I (X must be an array object: V is assigned to X[I])or a pair I-J of integers (X must be an array object, V must be a list of values: successive members of V are assigned to X[I..J]) V must be a suitable value or object. | ![]() |
Wiki pages | ||
[wiki] How to serve static files? | ||
[wiki] Warning: (file:line) Redefined static procedure: name/arity | ||
[wiki] ERROR: No permission to modify static_procedure Name/Arity | ||
System Libraries | ||
yap.pl -- YAP Compatibility module![]() | ||
assert_static/1 | Assert as static predicate. | ![]() |
ifprolog.pl -- IF/Prolog compatibility package![]() | ||
modify_mode/3 | Switch between static and dynamic code. | ![]() |