prolo11y

funzioni trigonometriche e matematiche come argomento

/* arcota.pro */
/* esempio vari tipi argomenti e stampa */
/* scrivere GOAL:valore(intero) */

domains
 numero = real
predicates
 calcola(numero)
 valore(numero)
clauses
 calcola(0).
 calcola(X) if
  X>0,
  Y=X-1,
  calcola(Y).
 valore(X) if
  S=arctan(X*3.14/180),        /* operazione */
  write("valore......",X,".."),
  write("risultato...",S,"..."),
  calcola(S).
     

/* coseno.pro */
/* esempio vari tipi argomenti e stampa */
/* scrivere GOAL:valore(intero) */

domains
 numero = real
predicates
 calcola(numero)
 valore(numero)
clauses
 calcola(0).
 calcola(X) if
  X>0,
  Y=X-1,
  calcola(Y).
 valore(X) if
  S=cos(X*3.14/180),        /* operazione */
  write("valore......",X,".."),
  write("risultato...",S,"..."),
  calcola(S).
     

/* seno.pro */
/* esempio vari tipi argomenti e stampa */
/* scrivere GOAL:valore(intero) */

domains
 numero = real
predicates
 calcola(numero)
 valore(numero)
clauses
 calcola(0).
 calcola(X) if
  X>0,
  Y=X-1,
  calcola(Y).
 valore(X) if
  S=sin(X*3.14/180),        /* operazione */
  write("valore......",X,".."),
  write("risultato...",S,"..."),
  calcola(S).
     

/* tangente.pro */
/* esempio vari tipi argomenti e stampa */
/* scrivere GOAL:valore(intero) */

domains
 numero = real
predicates
 calcola(numero)
 valore(numero)
clauses
 calcola(0).
 calcola(X) if
  X>0,
  Y=X-1,
  calcola(Y).
 valore(X) if
  S=tan(X*3.14/180),        /* operazione */
  write("valore......",X,".."),
  write("risultato...",S,"..."),
  calcola(S).
     

/* expo.pro */
/* esempio vari tipi argomenti e stampa */
/* scrivere GOAL:valore(intero) */

domains
 numero = real
predicates
 calcola(numero)
 valore(numero)
clauses
 calcola(0).
 calcola(X) if
  X>0,
  Y=X-1,
  calcola(Y).
 valore(X) if
  S=exp(X),             /* operazione */
  write("valore......",X,".."),
  write("risultato...",S,"..."),
  calcola(S).
     

/* log10.pro */
/* esempio vari tipi argomenti e stampa */
/* scrivere GOAL:valore(intero) */

domains
 numero = real
predicates
 calcola(numero)
 valore(numero)
clauses
 calcola(0).
 calcola(X) if
  X>0,
  Y=X-1,
  calcola(Y).
 valore(X) if
  S=log(X)/log(10),             /* operazione */
  write("valore......",X,".."),
  write("risultato...",S,"..."),
  calcola(S).
     

/* lonat.pro */
/* esempio vari tipi argomenti e stampa */
/* scrivere GOAL:valore(intero) */

domains
 numero = real
predicates
 calcola(numero)
 valore(numero)
clauses
 calcola(0).
 calcola(X) if
  X>0,
  Y=X-1,
  calcola(Y).
 valore(X) if
  S=ln(X),             /* operazione */
  write("valore......",X,".."),
  write("risultato...",S,"..."),
  calcola(S).
     

/* radice.pro */
/* esempio vari tipi argomenti e stampa */
/* scrivere GOAL:valore(intero) */

domains
 numero = real
predicates
 calcola(numero)
 valore(numero)
clauses
 calcola(0).
 calcola(X) if
  X>0,
  Y=X-1,
  calcola(Y).
 valore(X) if
  S=sqrt(X),             /* operazione */
  write("valore......",X,".."),
  write("risultato...",S,"..."),
  calcola(S).