DISLOG: programming in logic with discontinuities |
| |
Authors: | Patrick Saint-Dizier |
| |
Affiliation: | Institut de recherche en informatique de Toulouse, 118, route de Narbonne, 31062 Toulouse CEDEX, France |
| |
Abstract: | In this paper, we present an extension to PROLOG we call DISLOG which is designed to deal with relations between non-contiguous elements in a structure. This extension turns out to be well suited for syntactic analysis of natural and artificial languages. It is also well adapted to express traversal constraints in applications such as planning and expert systems and deductive systems involving, for example, temporal reasoning, DISLOG belongs to the constrained logic programming paradigm and turns out to be more declarative, transparent, and simple than PROLOG to deal with longdistance relations. |
| |
Keywords: | logic programming language processing |
|
|