Signification des prédicats utilisés dans les exemples de programmes MIL

• dans qrd.xml : Q(x,y) <=> "y divise x et le quotient x/y est une puissance de 2".
  
  
• dans fac.xml : 
  
  • F(p, n) <=> p = n!
    
  • M(p,m,n) <=> p = n!/m!
  
  
• dans ppcm.xml :
  
  • P(x, y, a, b) <=> PGCD(x,y) = PGCD(a,b)
    
  • D(x, a, b) <=> x = PGCD(a,b)
    
  • M(x, a, b) <=> x = ppcm(a,b)
    
    
• dans pgcd.xml :
  
  • P(x, y, a, b) <=> PGCD(x,y) = PGCD(a,b)
  • R(y, x, r, x) <=> y mod x = r mod x
  • D(x, a, b) <=> x = PGCD(a, b)
    
  
  
•