answer subsumption type system prolog
Mehr anzeigen