Sciweavers

3 search results - page 1 / 1
» Logic Meta-Programming Facilities in 'LOG
Sort
View
META
1992
13 years 8 months ago
Logic Meta-Programming Facilities in 'LOG
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
Iliano Cervesato, Gianfranco Rossi
DOOD
1993
Springer
135views Database» more  DOOD 1993»
13 years 8 months ago
A Deductive and Typed Object-Oriented Language
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
René Bal, Herman Balsters
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
13 years 8 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg