☰
↑
←
→
🔍
TOC
The Ciao Internals
»
exemaker (library)
ON THIS PAGE
Usage and interface
Documentation on exports
Documentation on multifiles
Documentation on imports
exemaker (library)
Usage and interface
Library usage:
:- use_module(library(compiler/exemaker)).
Exports:
Predicates:
make_exec/2
,
force_lazy/1
,
undo_force_lazy/1
,
dynamic_search_path/1
,
needs_interface/2
,
create_interfaces/0
.
Multifiles:
define_flag/3
.
Documentation on exports
PREDICATE
make_exec/2
No further documentation available for this predicate.
PREDICATE
force_lazy/1
No further documentation available for this predicate.
PREDICATE
undo_force_lazy/1
No further documentation available for this predicate.
PREDICATE
dynamic_search_path/1
No further documentation available for this predicate. The predicate is of type
data
.
PREDICATE
needs_interface/2
No further documentation available for this predicate. The predicate is of type
data
.
PREDICATE
create_interfaces/0
No further documentation available for this predicate.
Documentation on multifiles
PREDICATE
define_flag/3
Usage:
define_flag(Flag,FlagValues,Default)
The following properties hold upon exit:
(
atm/1
)
Flag
is an atom.
(
flag_values/1
)
Define the valid flag values
The predicate is
multifile
.
Documentation on imports
This module has the following direct dependencies:
Application modules:
datafacts_rt
,
aggregates
,
c_itf
,
file_buffer
,
stream_utils
,
system
,
engine_path
,
pl2wam
,
lists
,
ctrlcclean
,
build_foreign_interface
.
Packages:
prelude
,
initial
,
condcomp
,
assertions
,
assertions/assertions_basic
,
define_flag
,
datafacts
.