src

Sub directories

[dir] C

Prolog files

db.pl  -- kLog database interface
db_consult/1Consult a collection of ground facts from File(s).
flags.pl  -- flags
get_klog_flag/2Unify Val with the current value of the flag FlagName.
get_klog_flag/3Unify Val with the current value of the flag FlagName of C++ object Who.
klog_flag/2If Val is a free variable, unify it with the current value of the flag FlagName.
klog_flag/3If Val is a free variable, unify it with the current value of the flag FlagName.
klog_flags/0Write a description of current flags to current output stream.
klog_flags/1Write a description of current flags to Stream.
set_klog_flag/2Sets FlagName to Val.
set_klog_flag/3Sets FlagName to Val for C++ object Who.
goals.pl  -- goals
goals_to_list/2True if G is a comma-separated sequence, and L the corresponding list of items.
list_to_goals/2True if L is a list of items and G the corresponding comma-separated sequence Warning: does not terminate if L is a free variable.
rabsent/2True when B is a comma-separated sequence and A does not occur in it.
rappend/3True if A, B, and C are comma-separated sequences and C is the concatenation of A and B.
rmember/2True when B is a comma-separated sequence and A occurs in it.
graphicalize.pl  -- Convert deductive databases into graphs
assert_background_knowledge/1Deduce intensional facts from the background knowledge and interpretations listed in Dataset and assert all of them (at the top) in the form db:interpretation(Ex,Fact).
attach/0This first form is useful to attach a toy dataset written directly in the kLog script.
attach/1Load a dataset i.e.
check_db/0Internal use.
database/0For debugging purposes.
database/1For debugging purposes.
detach/0Retracts all data ground atoms and results of graphicalization.
domain_identifiers/3True if Constants are the constants of type Type in interpretation Ex.
examples/1Returns in Set the interpretation identifiers in the attached domain.
make_graphs/0Graphicalize the attached interpretations.
map_prolog_ids_to_vertex_ids/3Retrieve numeric vertex IDs for a list of database identifiers IDs in interpretation Ex.
kfold.pl  -- k-fold cross-validation
fixed_split/6Do train/test on a given fixed split specified by Train and Test.
kfold/4Perform a k-fold cross validation.
prepartitioned_kfold/4Perform a repeated kfold cross-validation reading folds from a file containing facts of the form test_int(Trial,Fold,IntId).
random_split/4Train and test Model(s) on a given Fraction of existing cases (rest used for test).
stratified_kfold/5Perform a stratified k-fold cross validation.
learn.pl
kfold.plLearning support in kLog
cases_loop/7Core procedure for training (if TOrP=train) or testing (if TOrP=predict).
clean_internals/1
depends_transitive/2Tabled.
get_task/4Given TargetSignature, retrieve the i-th task (starting from 0), unify TaskIndex with i, TaskName with its name and Values with the list of target values found in the data set for this task.
identifier/3Unify ID with one of the identifiers of S in Ex.
kill_future/1Kill entire slices in the strict future (if there are no sliced interpretations kill_future/1 does nothing since max_slice will fail).
kill_present/2Predicates kill_present/2 and kill_future/1 are needed to setup training and test data.
list_of_slices/2Slices is unified with the list of slices found in SlicedInterpretations.
make_case_id/4Unifies CaseID with a unique identifier for (sliced) interpretation Ex, target signature S, and tuple of identifiers IDTuple.
preceq_max_list/2M is unified with the max element in List according to the total order defined by slice_preceq/2.
preceq_min_list/2M is unified with the min element in List according to the total order defined by slice_preceq/2.
predict/4Test Model on a data set of interpretations.
prolog_make_sparse_vector/5Wrapper around C++ method for making feature vectors.
save_induced_facts/2Every 'induced' fact (asserted during test) is saved to Filename for a rough implementation of iterative relabeling.
train/4Train Model on a data set of interpretations, using Feature_Generator as the feature generator.
tuple_of_identifiers/3Unify IDList with a tuple of identifiers in Ex whose type appears in signature S.
make_html_doc.pl
random_partition.pl  -- random paritioning of a set of interpretations
reachability.pl
repair.pl  -- Referential integrity constraints
check_and_repair/1Scan the database for possible referential integrity violations and repair them.
string.pl
syntax.pl  -- kLog syntax
domain_traits/0List on the standard output all the domain traits and signature traits for all signatures.
domain_traits/1List on output Stream all the domain traits and signature traits for all signatures.
domain_traits/2Query domain traits.
extract_identifiers/3If Functor is the name of a valid signature whose arity matches the length of the list Args, then unify IDs with the list of items in Args that appear at positions of identifier type.
extract_properties/3If Functor is the name of a valid signature whose arity matches the length of the list Args, then unify Properties with the list of items in Args that appear at positions of property type.
extract_references/2If s is the name of a valid signature, then unify Refs with the subsequence of entity types referenced by S but >self< is replaced by S.
id_position/2If S is the name of a valid entity signature, unify Position with the position of the identifier in the argument list.
is_kernel_point/2If Functor is the name of a valid signature then unify YesNo with 'yes' iff the signature has declared a neighborhood method.
signature_traits/3Query signature traits.
timing.pl
timing
utils.pl
aformat/3similar to sformat but builds an atom instead of a list of char codes.
new_progress_bar/2create a progress bar called BarName.
progress_bar/1increase the counter for the progress bar BarName and maybe display information on screen.
shuffle/2Unify Ex1 with a random permutation of list Ex.
slice/4L2 is the list of the elements of L1 between index I and index K (both included).