exactly. PROLOG fails with the non-true inference, and this is why it's inference. otherwise we'd be calling all the high-school made up nonsense inference.

it is absolutely not fair, established or not, to call non-linear regression inference. may be prognosis, maybe prediction, maybe just approximation. but inference is something that actually does logic, based on facts... and probabilistic theory infers only probability, not facts.