A Structured Logic Programming Approach to Robot Programming


Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli

2nd International Conference on the Practical Applications of Prolog (PAP'94), pages 187-206
26-29 April 1994
Leon Sterling (eds.)

This paper discusses an approach to robot programming based on Prolog, properly extended with control capabilities toward program structuring (contextual programming) and (pseudo)concurrence (communicating Prolog units). This Prolog-based programming system supports the definition, both static and dynamic, of extendible software components, promoting at the same time incremental design and development of software systems. Moreover, it suggests an approach to integration between object-oriented, knowledge-based and logic programming, introducing powerful concepts such as backtrackable objects and dynamic object configuration. Finally, the system, which is embedded in a simple architecture constituted by several Prolog machines sharing a data-base acting as an evolving world, provides an effective way to reduce the gap between low-level, imperative and higher-level, symbolic layers and to coordinate the interaction of different, even heterogeneous, components.

 @inproceedings{lprobot-pap94,
Address = {London, UK},
Author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
Booktitle = {2nd International Conference on the Practical Applications of Prolog (PAP'94)},
Editor = {Sterling, Leon},
Month = {26--29~} # apr,
Pages = {187--206},
Title = {A Structured Logic Programming Approach to Robot Programming},
Year = 1994

Publication

— authors

Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli

— editors

Leon Sterling

— status

published

— sort

paper in proceedings

Venue

— volume

2nd International Conference on the Practical Applications of Prolog (PAP'94)

— pages

187-206

— context

PAP'94

— where

London, UK

— publication date

26-29 April 1994

BibTeX

— BibTeX ID
lprobot-pap94
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY