alice.tuprologx.pj.model

Class Clause<H extends Term<?>,B extends Term<?>>