2008-05-24から1日間の記事一覧
PrologでLR構文解析器を書いたので、自分のためのメモ代わりに。手続き的であまり論理型言語っぽくない書き方だけど。 lr(Ws):- start_state(S), lr([S],Ws,[],_). lr(Ws,Out):- start_state(S), lr([S],Ws,[],Out). lr(Ss,Ws,Os,Out):- Ss=[S|_], Ws=[W|Ws0…
PrologでLR構文解析器を書いたので、自分のためのメモ代わりに。手続き的であまり論理型言語っぽくない書き方だけど。 lr(Ws):- start_state(S), lr([S],Ws,[],_). lr(Ws,Out):- start_state(S), lr([S],Ws,[],Out). lr(Ss,Ws,Os,Out):- Ss=[S|_], Ws=[W|Ws0…