ClioPatria library extensions
This directory contains files that are candidate for the SWI-Prolog core libraries. ClioPatria places it at the start of the standard library search path. They should be loaded using a normal library loading call as below, so they can be moved to the SWI-Prolog library without affecting the application.
:- use_module(library(xyx)).
Prolog files
bundle.pl -- Import bundles | ||
---|---|---|
use_bundle/1 | Include a bundle of declarations. | |
conf_d.pl -- Load configuration directories | ||
conf_d_configuration/3 | ||
conf_d_enabled/1 | True if Dir is a directory from which config files are loaded. | |
conf_d_member_data/3 | True if Value is the value for Field in ConfigInfo. | |
conf_d_members/3 | Provide information about config files in Dir. | |
conf_d_reload/0 | Reload configuration files after adding or deleting config files. | |
load_conf_d/2 | Locate configuration directories and load their config files. | |
count.pl -- This module provides various ways to count solutions | ||
answer_count/3 | Count number of unique answers of Var Goal produces. | |
answer_count/4 | Count number of unique answers of Var Goal produces. | |
answer_pair_set/5 | Bounded find of Key-Value pairs. | |
answer_set/3 | SortedSet is the set of bindings for Var for which Goal is true. | |
answer_set/4 | SortedSet is the set of bindings for Var for which Goal is true. | |
proof_count/2 | True if Count is the number of times Goal succeeds. | |
proof_count/3 | True if Count is the number of times Goal succeeds. | |
unique_solution/2 | True if Goal produces exactly one solution for Var. | |
http_settings.pl | ||
http_apply_settings/4 | Process form data created by http_show_settings//1, apply changes to the settings and create a feedback page indicating which settings have changed. | |
http_show_settings/3 | Emit an HTML representation of the current settings. | |
setup.pl -- Configuration (setup) of ClioPatria | ||
copy_file_with_vars/3 | As cp File DirOrFile , while substituting @var@ from Bindings using copy_stream_with_vars/3. | |
setup_default_config/3 | Setup the enabled cofiguration directory from the given ConfigAvail. | |
setup_goodbye/0 | Say we are done. | |
setup_scripts/2 | Copy all *.in files in SrcDir into DstDir, replacing variables denoted as @NAME@. | |
version.pl -- Manage software versions | ||
check_prolog_version/1 | Validate the program is running under Prolog version Required or newer. | |
git_module_property/2 | Property is a property of the named git-component. | |
register_git_module/2 | Register the directory from which the Prolog file was loaded as a GIT component about which to report version information. |