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)

multiplayer_ranking_dataset_protocol

`multiplayer_ranking_dataset_protocol`