Sophie: teyjus-1.0_b31-15mdk i586

teyjus-1.0_b31-15mdk.i586.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

module assoc.

import assoclists. 

kind pair   type -> type -> type.

type pair   A -> B -> (pair A B).

type assoc  A -> B -> (list (pair A B)) -> o.

(assoc X Y L) :- (memb (pair X Y) L).