algebra.pl -- Performing algebraic operations. | ||
---|---|---|
matrix/3 | True if Matrix is the transformation matrix build from Translation and Quaternion. | |
matrix_translate/3 | True if Out unifies with In translated by Offset. | |
quaternion_multiply/3 | True if Multiplied is the result of multiplying Quaternion1 with Quaternion2. | |
transform_between/3 | True if Relative is the relative transform between the target frame of Transform1 and Transform2. | |
transform_close_to/3 | True if the squared distance between Transform1 and Transform2 is less then or equal to Delta. | |
transform_invert/2 | True if Inverted is the inverted transform of Transform (i.e., with inverted reference and source frame). | |
transform_multiply/3 | True if Product is Transform1 x Transform2. | |
atoms.pl -- Analysing and constructing atoms. | ||
atom_ensure_prefix/3 | Add a prefix to an atom. | |
atom_ensure_suffix/3 | Add a suffix to an atom. | |
atom_remove_prefix/3 | Removes prefix from atom. | |
camelcase/2 | Convert lowercase with underscore and camelcase. | |
lower_camelcase/2 | Convert lowercase with underscore and camelcase with leading lowercase character. | |
lowercase/2 | Convert uppercase and lowercase. | |
filesystem.pl -- Interacting with the filesystem. | ||
mkdir/1 | Create directory at Dir if it does not yet exist. | |
path_concat/3 | Concatenate path prefix with path suffix. | |
path_delimiter/1 | Delimiter for filesystem paths. | |
path_split/2 | Splits Path at delimiter characters and unifies with splitted path elements PathList. | |
functional.pl -- Functional programming. | ||
range/3 | Generate a list of integers in a given range. | |
reduce/4 | The predicate is first called for the first element of the list, the start value and an intermediate result. | |
zip/3 | Zip the lists 1 and 2 together to get list3. | |
zipm/3 | Zip the lists 1 and 2 together to get list3. | |
logging.pl -- Logging messages. | ||
log_error_and_fail/1 | Call log_message/2 and fail afterwards. | |
log_message/2 | Append given term to the logging output. | |
module.pl -- Extended Prolog modules. | ||
interface/2 | Defines a new interface. | |
use_directory/1 | Load initialization file in directory. | |
threads.pl -- Threading utilities. | ||
message_queue_materialize/2 | Retrieves and removes Term from queue. | |
worker_pool_create/1 | Same as worker_pool_create/2 with empty options. | |
worker_pool_create/2 | Creates a new thread pool with worker threads. | |
worker_pool_join/2 | Block the current thread until work is done. | |
worker_pool_start_work/3 | Schedules a new work goal. | |
worker_pool_stop_work/2 | Unschedule any remaining work associated to WorkID. | |
url.pl -- Resolving URLs to local filesystem. | ||
ros_package_iri/2 | Register an IRI for a ROS package. | |
url_resolve/2 | Resolve a URL to local filesystem. |