[Ur] need help with unification and field name disjointness	proof failures
    Benjamin Barenblat 
    bbaren at mit.edu
       
    Thu Apr  6 16:53:50 EDT 2017
    
    
  
Er, excuse me. s/database/table/g. You can use `oneOrNoRows` to query
multiple *tables* simultaneously.
    
    
More information about the Ur
mailing list