Report - Metodología de Programación I Lógica de Primer Orden · I Por ejemplo, en 9X sobre(X;Y) la variable X est a acotada, mientras que Y est a libre. I Un t ermino sin variables se

Please pass captcha verification before submit form