/* seno.pro */ /* esempio vari tipi argomenti e stampa */ /* scrivere GOAL:valori(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).
Goal: valore(30) ¦ valore......30..risultato...¦ 0.49977010264...False ¦ Goal: valore(90) ¦ valore......90..risultato...¦ 0.99999968293...False ¦ Goal: calcola(30) ¦ True ¦ Goal: calcola(4.5) ¦ False ¦ Goal: ¦
ritorna