Did you know ... Search Documentation:
Search results for "static"
11 matches; Reference Manual: 3, Packages: 3, Wiki pages: 3, System Libraries: 2(0.38 sec.)
Reference Manual
 
12.2 Linking Foreign Modules
Sec. 12.2.5Static Linking
A.38 library(predicate_options): Declare option-processing of predicates
derived_predicate_options/3Derive option arguments using static analysis.Source
4.15 Declaring predicate properties
compile_predicates/1Compile 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.5Static linking and embedding
JPL: A bidirectional Prolog/Java interface
jpl_get/3X 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).Source
jpl_set/3sets 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.Source
 
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 moduleShow source
assert_static/1Assert as static predicate.Source
ifprolog.pl  -- IF/Prolog compatibility packageShow source
modify_mode/3Switch between static and dynamic code.Source