Существуют ли экспертные системы с открытым исходным кодом и возможностями рассуждений?

В учебных целях я хотел бы изучить экспертную систему с открытым исходным кодом, в частности ту, которая может рассуждать и объяснять свои рассуждения. Какие из них вы знаете?