Various expert systems written in Prolog.