DLV Manual

La DLV Tutorial
In this tutorial, we give an introduction to Disjunctive Datalog (using some of the extensions of DLV ). The tutorial does not give a full description of the usage and capabilities of DLV . For a more complete account of these, see the DLV homepage and the DLV online user manual . The examples shown in this tutorial work with every recent DLV release. Executables of the DLVsystem for various platforms can be downloaded from the DLV homepage . En este tutorial, damos una introducción a Datalog disyuntivas (usando alguna de las extensiones de DLV ). El tutorial no da una descripción completa de los usos y capacidades de DLV . Para una descripción más completa de estos, consulte la DLV página de inicio y la DLV manual del usuario en línea . Los ejemplos mostrados en estetrabajo tutorial con todos los últimos DLV liberación. ejecutables de la DLV sistema para varias plataformas puede ser descargado de la DLV la página principal .
The tutorial consists of the following sections, each of them being built around a guiding example: El tutorial se compone de las siguientes secciones, cada una de ellas se está construyendo en torno a un ejemplo de guía:
The FirstExample : Rules and Facts El primer ejemplo: reglas y hechos
The Second Example : Negation and the Complete World Assumption El segundo ejemplo: La negación y la Asunción mundial completa
The Family Tree Example : Predicates, Variables, and Recursion El Árbol de la familia Ejemplo: predicados, variables, y recursión
DLV as a Deductive Database System; Comparison Operators DLV como un sistemade base de datos deductivas; Operadores de Comparación
The Railway Crossing Example : True Negation and Negation as Finite Failure El cruce ferroviario Ejemplo: La negación verdadera y la negación como fracaso Finitos
The Broken Arm Example : Disjunctive Datalog and the Stable Model Semantics El ejemplo Broken Arm: Datalog disyuntivas y el modelo estable Semántica
Strong Constraints Fuertesrestricciones
Graph Coloring: Guess&Check Programming Dibujos para colorear Gráfico: Adivine y Verifique la programación
The Fibonacci Example: Built-in Predicates and Integer Arithmetics El ejemplo de Fibonacci: Construido en los predicados y aritmética de enteros
The 8-Queens Example: Guess&Check Programming with Integers El ejemplo 8-Queens: Adivine y Hora de programación con enteros
Asimple Physics Diagnosis example Un simple ejemplo Física Diagnóstico
A different way to implement the Physics Diagnosis example Una forma diferente de poner en práctica el ejemplo Física Diagnóstico
The Monkey&Banana Example: Planning El Mono y Banana Ejemplo: Planificación
This page is quite long. Esta página es bastante largo. People who are in a hurry might appreciate the information thatthe tutorial is fully on this page, there will be no branches and no links to further pages. Las personas que tienen prisa puede apreciar la información de que el tutorial está plenamente en esta página, no habrá ramas y no hay enlaces a las páginas siguientes.
This tutorial is written for computer-literate people with a background different from computer science, or students new to this area.It was originally written for physicists at CERN, and some examples are tailored towards this community. Este tutorial está escrito para leer y escribir las personas-ordenador con un fondo diferente de las ciencias informáticas, o los nuevos estudiantes a esta área. Fue escrito originalmente para los físicos del CERN, y algunos ejemplos están adaptados a esta comunidad.

IntroductionIntroducción
Datalog is a declarative (programming) language. This means that the programmer does not write a program that solves some problem but instead specifies what the solution should look like, and a Datalog inference engine (or Deductive Database System ) tries to find the the way to solve the problem and the solution itself. This is done with rules and facts . Facts are the input data, and...