Noeud: Behind the Screen, Noeud « Next »: , Noeud « Previous »: Using DyALog, Noeud « Up »: Top


Behind the screen

DyALog uses

  1. Logical Push-Down Automata [LPDA] as operational devices to describe various resolution and parsing strategies for logic programs
  2. Dynamic Programming techniques to break LPDA computations in elementary sub-derivations that are combinable and sufficiently compact to be tabulable.

This chapter presents briefly the theoretical background behind DyALog and some internal details about its implementation.