protocol

multiplayer_ranking_dataset_protocol

Protocol for ordered multiplayer ranking datasets with ranked teams and weighted player participation.

Availability:
logtalk_load(ranking_protocols(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-08-02
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

item/1

Enumerates by backtracking the items that can be ranked.

Compilation flags:
static
Template:
item(Item)
Mode and number of proofs:
item(-atom) - zero_or_more

match/1

Enumerates by backtracking the matches in chronological processing order.

Compilation flags:
static
Template:
match(Match)
Mode and number of proofs:
match(-atom) - zero_or_more

team/3

Enumerates by backtracking the teams in a match and their non-negative ranks. Lower ranks are better and equal ranks denote a draw.

Compilation flags:
static
Template:
team(Match,Team,Rank)
Mode and number of proofs:
team(-atom,-atom,-integer) - zero_or_more

team_member/4

Enumerates by backtracking team members and their participation weights, which must be greater than zero and no greater than one.

Compilation flags:
static
Template:
team_member(Match,Team,Item,Weight)
Mode and number of proofs:
team_member(-atom,-atom,-atom,-number) - zero_or_more

Protected predicates

(none)

Private predicates

(none)

Operators

(none)