Narrowing is an extension of logic programming, in that it performs a similar search, but can actually generate values as part of the search rather than just being limited to testing them.
Înlăturarea este o extensie a programării logice, prin faptul că efectuează o căutare similară, dar poate genera de fapt valori ca parte a căutării, mai degrabă decât să se limiteze doar la testarea acestora.