alice.tuprologx.pj.engine

Class PrologSolution<Q extends Term<?>,S extends Term<?>>