Forgy was Charles Forgy.

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