answer subsumption type system prolog
Tout plus