protocol
ranking_dataset_protocolï
Protocol for grouped ranking datasets.
Availability:
logtalk_load(ranking_protocols(loader))Author: Paulo Moura
Version: 1:0:0
Date: 2026-04-16
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicatesï
group/1ï
Enumerates by backtracking the ranking groups or contexts in the dataset.
Compilation flags:
staticTemplate:
group(Group)Mode and number of proofs:
group(-atom) - zero_or_moreitem/2ï
Enumerates by backtracking the items available inside each ranking group or context.
Compilation flags:
staticTemplate:
item(Group,Item)Mode and number of proofs:
item(+atom,-atom) - zero_or_moreitem(-atom,-atom) - zero_or_morerelevance/3ï
Enumerates by backtracking the non-negative integer relevance judgments associated with each group and item.
Compilation flags:
staticTemplate:
relevance(Group,Item,Relevance)Mode and number of proofs:
relevance(+atom,+atom,-integer) - zero_or_morerelevance(-atom,-atom,-integer) - zero_or_moreProtected predicatesï
(none)
Private predicatesï
(none)
Operatorsï
(none)