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 | ||
|---|---|---|
| conf_d.pl -- Load configuration directories | ||
| 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 | ||
| 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. | |