Jacques Pitrat was one of the French symbolic artificial intelligence pioneers. He developed knowledge based systems, expert systems, and theorem provers, and was a strong advocate of meta-knowledge based systems. Wikipedia