Symbolic pattern matcher and forward chaining inference engine - Jayakumar C R (computer science,cusat, 1988)