Game Description Language , o GDL, es un lenguaje de programación lógica [1] diseñado por Michael Genesereth como parte del Proyecto General de Juego en la Universidad de Stanford , California . GDL describe el estado de un juego como una serie de hechos y la mecánica del juego como reglas lógicas. GDL es aquí una de las representaciones alternativas para problemas de teoría de juegos. [2]
Citado en un artículo en New Scientist , Genesereth señaló que aunque Deep Blue puede jugar al ajedrez a un nivel de gran maestro , es incapaz de jugar a las damas en absoluto porque es un jugador especializado. [3] Tanto el ajedrez como las damas se pueden describir en GDL. Esto permite crear jugadores de juegos generales que puedan jugar ambos juegos y cualquier otro juego que pueda describirse usando GDL.
GDL es una variante de Datalog y la sintaxis es básicamente la misma. Generalmente se da en notación de prefijo . Las variables comienzan con " ?". [4]
Hechos que definen los roles en un juego. El siguiente ejemplo es de una descripción GDL del juego Tic-tac-toe para dos jugadores :
Reglas que describen cada movimiento según las condiciones de la posición actual bajo las cuales un jugador puede realizarlo. Un ejemplo es:
Reglas que describen todos los hechos sobre el siguiente estado en relación con el estado actual y los movimientos realizados por los jugadores. Un ejemplo es: