Atom
Negation
public interface Literal
getAtom()
boolean
isPositive()
default Literal
map(java.util.function.Function<Argument,Literal> argumentMapping, java.util.function.Function<Literal,Literal> literalMapping)
boolean isPositive()
Atom getAtom()
default Literal map(java.util.function.Function<Argument,Literal> argumentMapping, java.util.function.Function<Literal,Literal> literalMapping)