Inserire una breve descrizione delle modifiche fatte
(Richiesto)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
A Structured Logic Programming Approach to Robot Programming
2nd International Conference on the Practical Applications of Prolog (PAP'94), pp. 187–206
aprile 1994
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.
A Structured Logic Programming Approach to Robot Programming (PAP'94, 29/04/1994) — Antonio Natali 
PFCNR-SICALPAR — Progetto Finalizzato del Consiglio Nazionale delle Ricerche "Sistemi Informatici e Calcolo parallelo" (01/01/1989–31/12/1994)