> "C?"

Forgy was Charles Forgy.

For a "rules engine", there was also IBM's YES/L1.

Ah,thanks for the clarification.