a physical system with sensors and actuators). All computer controlled or monitored processes in the real functions, F, on a finite interval [a,b] � vectors of numbers, functions, or vectors A full description] [-1000, 1000]: | ?- type([F],function(0,1)), {[ ddt(F,1)=F, eval(F,0)=1, eval(F,A)=2, eval(F,1)=E, F