Truth Maintenance Systems implemented in Prolog.