alice.tuprologx.pj.model

Class Term<X extends Term<?>>