El sistema del DLV es un sistema disyuntivo de la programación de lógica, ejecutando la semántica modelo estable bajo paradigma programado determinado de la respuesta .
| Random links: | Fondo a capital fijo | Dione (mitología) | Enlatado del conde | Juan H. Stevens | Reino del alcohol (herencia de Kain) |