program
set of instructions used to control the behavior of a machine
inference engine
component of the system that applies logical rules to the knowledge base to deduce new information
computer program
sequence of instructions written in programming language to perform a specified task with a computer