www-ai.cs.tu-dortmund.de/PublicPublicationFiles/klingspor_94d.pdf
turin-report.dvi
bf(T, S, B, E) ! decreasing(T, , S, B, E, ).
bf(T, S, B, E) ! incr peak(T, , S, B, E, ).
bf(T, S, B, E) ! decr peak(T, , S, B, E, ).
bf(T, S, B, E) ! straight to(T, , S, B, E, ).
bf(T, S, B, E) ! straight [...] or(Mov) ! m parallel(Mov).
or(Mov) ! m diagonal(Mov).
or(Mov) ! m straight to(Mov).
or(Mov) ! m straight away(Mov).
bf(T, S, B, E) ! stable(T, , S, B, E, ).
bf(T, S, B, E) ! increasing(T, , S, B, E, ).
bf(T [...] n,
6
grendel expands a lazy macro A ! B where P by proving P and adding a grammar rule A ! B,
where is the used substitution, for every possible proof [Cohen, 1993]. Since only a nite set of context
free …