"and" operator not a recognized literal in GdlFactory.createLiteral(Symbol symbol) about ggp-base HOT 1 OPEN

In this particular case, you can use the implicit "or" effect of separate rules:

(<= (next xor)
    boolean1
    (not boolean2))
(<= (next xor)
    (not boolean1)
    boolean2)

More broadly, this hasn't been supported because 1) this wasn't part of the original GDL spec or any games before it was put on the Stanford site a few years ago, and 2) there's a lot of code (e.g. GDL transformations, the prover implementation) that would need to be updated to account for a new literal type.

from ggp-base.