Title :
The terminological logic as a tool for solving constraints systems
Author :
da Silva Julia, Rita Maria ; Pereira, Antônio Eduardo Costa ; Junior, Edson Angoti
Author_Institution :
Dept. de Inf., Fed. Univ. of Uberlandia, Brazil
Abstract :
The authors present a system that uses TL to solve a set of constraints. The expressions of the TL correspond to the types of the system. A partial evaluator orders the literals in the clauses so as to produce a new dataflow where constraints can be solved in compiling time. In this new order, the expressions of the TL, which introduce the type, are placed before any predicates where the typed object occurs. The clauses in the new order are compiled for the Java Virtual Machine (JVM). We believe that our contribution is to use TL as an efficient tool for solving constraints systems. In fact, the resulting code is as efficient as Java generated class files. Thus one has an efficient tool for using constraint logic programming in design and implementation of applets
Keywords :
constraint handling; formal logic; object-oriented languages; virtual machines; JVM; Java Virtual Machine; TL; applets; clause literal ordering; constraints system solution; dataflow; partial evaluator; terminological logic; Augmented virtuality; Calculus; Computer industry; Data analysis; Engines; Inference algorithms; Java; Logic programming; Software tools; US Department of Transportation;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.638218