using PEG

@rule Word = r"\w+\*" |> w-> :(occursin(Regex("\\b$($(w[1:end-1]))"), str)), # prefix*
    r"\w+" |> w-> :(occursin(Regex("\\b$($(w))\\b"), str)), # word
    r"\("p & Add & r"\)"p |> x->x[2] # (a)
@rule Neg = r"!" & Word |> w->:(!$(w[2])) , Word # !a
@rule Mul = Neg & (r"[/&]"p & Neg)[*] |> do_op # a&b
@rule Add = Mul & (r"[+-|]"p & Mul)[*] |> do_op # a|b

function do_op(x)
    v, op_v_pairs = x
    expr = :( $(v) )
    for (op, v2) in op_v_pairs
        sym_op = Symbol(op)
        expr = :( $(sym_op)($(expr), $(v2)) )
    end
    return expr
end

pattern1 = "Julia&lang*&!Roberts"
# @info parse_whole(Add, pattern1)
@generated compiled_pattern1(str) = parse_whole(Add, pattern1)

compiled_pattern1("Julia Roberts") # == false
compiled_pattern1("Julia language") # == true

@generated function check_str_compiled(str, ::Val{pattern}) where pattern
    parse_whole(Add, String(pattern))
end

macro check_str(str, pattern)
    :(check_str_compiled($str, Val(Symbol($pattern))))
end

@check_str("Julia language", "Julia&lang*&!Roberts") == true
@check_str("Julia Roberts", "Julia&lang*&!Roberts") == false