YAP 7.1.0
keysort/2

keysort(+ L, S) More...

Detailed Description

keysort(+ L, S)

defined in the ISO standard

Assuming L is a list of the form _Key_- _Value_, keysort(+ _L_, _S_) unifies S with the list obtained from L, by sorting its elements according to the value of Key

?- keysort([3-a,1-b,2-c,1-a,1-b],S).
keysort/2
keysort(+ L, S)

would return:

S = [1-,1-a,1-,2-c,3-a]
The documentation for this class was generated from the following file: