From 8a5e84619645e21e8ce03bdcf3278e2a9ce97a9d Mon Sep 17 00:00:00 2001 From: Fabrizio Riguzzi Date: Fri, 15 Mar 2024 10:37:06 +0100 Subject: [PATCH] pldoc for inst_exs --- docs/pldoc/liftcover.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/pldoc/liftcover.html b/docs/pldoc/liftcover.html index 7fe2438..c3ba0b3 100644 --- a/docs/pldoc/liftcover.html +++ b/docs/pldoc/liftcover.html @@ -49,6 +49,8 @@

liftcover.pl

for the argument in position Arg.
 hits_at_k(:Folds:list_of_atoms, +TargetPred:predicate, +Arg:int, +Prog:probabilistic_program, +K:int, -Hits:float, -FilteredHits:float) is det
Returns the Hits@K and filtered Hits@K of the target predicate TargetPred on the list of folds Folds for the argument in position Arg computed over Prog.
+
 inst_exs(:Folds:list, +TargetPred:PredSpec, +Arg:int, +ProbabilisticProgram:list_of_probabilistic_clauses) is det
The predicate prints the list of answers for all the triples in Folds for predicate +TaragetPredwhere argument in position Arg has been replaced by a variable.
 rank_exs(:Folds:list, +TargetPred:PredSpec, +Arg:int, +ProbabilisticProgram:list_of_probabilistic_clauses) is det
The predicate prints the list of answers for all the triples in Folds for predicate TaragetPredwhere argument in position Arg has been replaced by a variable.
 rank_ex(:At:atom, +ProbabilisticProgram:list_of_probabilistic_clauses, +Arg:int) is det
The predicate prints the list of answers for the query At where