A program that infers new facts from known facts using inference rules.
Commonly found as part of a Prolog interpreter, expert system or knowledge based system.
|< Previous Terms||Terms Containing inference engine||Next Terms >|
|Constraint Logic Programming|
incremental constraint solver
Infinite Impulse Response