alice.tuprologx.pj.engine

Class PrologArg<X extends Term<X>>