要编写一个Scheme EBNF语法的解析器，首先需要了解EBNF语法的基本规则和Scheme语法的规则。

EBNF（扩展巴科斯范式）是一种用于描述语法的元语言。它使用产生式来定义语法的各个部分。下面是一个简单的EBNF语法示例：

 ::= 
              | "("  + ")"
       ::= 
              | 
     ::= +
 ::=  *
   ::= "+" | "-" | "*" | "/"
      ::= "0" | "1" | ... | "9"
     ::= "a" | "b" | ... | "z" | "A" | "B" | ... | "Z"
 ::=  | 

然后，我们可以使用解析器生成器（如PLY或ANTLR）来生成解析器代码。这些工具可以根据EBNF语法规则自动生成解析器的代码。

以下是使用PLY（Python Lex-Yacc）生成器编写的一个简单的Scheme解析器示例：

import ply.lex as lex
import ply.yacc as yacc

# 定义词法分析器规则
tokens = (
    'NUMBER',
    'IDENTIFIER',
    'LPAREN',
    'RPAREN',
    'PLUS',
    'MINUS',
    'TIMES',
    'DIVIDE',
)

t_LPAREN = r'\('
t_RPAREN = r'\)'
t_PLUS = r'\+'
t_MINUS = r'-'
t_TIMES = r'\*'
t_DIVIDE = r'/'

def t_NUMBER(t):
    r'\d+'
    t.value = int(t.value)
    return t

def t_IDENTIFIER(t):
    r'[a-zA-Z_][a-zA-Z_0-9]*'
    return t

t_ignore = ' \t\n'

def t_error(t):
    print("Illegal character '%s'" % t.value[0])
    t.lexer.skip(1)

# 构建词法分析器
lexer = lex.lex()

# 定义语法分析器规则
def p_expression_atom(p):
    'expression : atom'
    p[0] = p[1]

def p_expression_paren(p):
    'expression : LPAREN operator expression RPAREN'
    p[0] = (p[2], p[3:])

def p_atom_number(p):
    'atom : NUMBER'
    p[0] = p[1]

def p_atom_identifier(p):
    'atom : IDENTIFIER'
    p[0] = p[1]

def p_operator_plus(p):
    'operator : PLUS'
    p[0] = '+'

def p_operator_minus(p):
    'operator : MINUS'
    p[0] = '-'

def p_operator_times(p):
    'operator : TIMES'
    p[0] = '*'

def p_operator_divide(p):
    'operator : DIVIDE'
    p[0] = '/'

def p_error(p):
    print("Syntax error")

# 构建语法分析器
parser = yacc.yacc()

def parse(s):
    return parser.parse(s)

# 测试
result = parse("(+ 1 2)")
print(result)  # Output: ('+', [1, 2])

result = parse("(- 5 (* 2 3))")
print(result)  # Output: ('-', [5, ('*', [2, 3])])

这里我们使用了PLY库来构建词法分析器和语法分析器。在词法分析器中，我们定义了tokens和正则表达式规则来匹配不同的词法单元。在语法分析器中，我们使用p_开头的函数来定义语法规则，并且使用p[0]来返回解析结果。最后，我们通过调用parser.parse()函数来解析输入字符串。

注意：这个示例只实现了Scheme语法的一小部分，你可能需要根据实际需求进行扩展和修改。