Term
Z Wikipedii
Term to wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej argumentowości (w tym o argumentowości 0, czyli stałych) z pewnego ustalonego zbioru.
W sztucznej inteligencji term służy do reprezentowania bytów (w programowaniu w Logice - Prologu). Zbiór termów to najmniejszy zbiór spełniający warunki: - stałe i zmienne są termami - jeśli f jest symbolem funkcyjnym o arności n, (f/n), n=>0, to f(t1,t2..tn), gdzie wszytkie ti są termami, jest termem.
Przykładami termów są x, f(x) oraz f(f(f(f(x,g),h),i),j).
