Home > Back-end >  Prolog: Check if list of tuples is a function
Prolog: Check if list of tuples is a function

Time:01-02

I want to check, if a list L of tuples (x1,y1) has the function property:

∀(x1,y1),(x2,y2) ∈ L (x1=x2            
  • Related