public Clause(Literal... literals){
  this(Arrays.asList(literals));
}

public Clause ( Literal ... literals ) { this ( Arrays . asList ( literals ) ) ; }
construct a clause from the given literals . note : literals the are always ' false ' ( i . e . false or ~ true ) are not added to the instantiated clause .
