Using Golog for programming Charles to pick candies in the Fantastic City

Gómez, Sergio Alejandro · SEDICI UNLP · 2003

Open-access full text

Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.

Author / responsible party

Gómez, Sergio Alejandro

Publisher

SEDICI UNLP

Year

2003

Language

English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Main access

Open-access full text

Texto completo identificado como acceso abierto.

Open text

Summary

Descripción general del contenido del recurso.

The situation calculus is a first-order language specifically designed for representing dynamically changing worlds. Agents can be modelled in the situation calculus by means of the Golog programming language, which provides macros for representing primitive actions, test actions, sequence, nondeterministic choice of two actions, nondeterministic choice of action arguments and nondeterministic iteration running on top of a Prolog interpreter. The robot Charles and the Fantastic City is a metaphor used in the University of La Plata for teaching introductory courses to procedural programming. In this paper, we present an axiomatization of the robot Charles and the Fantastic City in the situation calculus as well as a controller written in Golog. A proof of the correctness of part of the proposed implementation is shown too. Eje: Informática educativa (IEDU) Red de Universidades con Carreras en Informática (RedUNCI)

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Gómez, S. A. (2003). Using Golog for programming Charles to pick candies in the Fantastic City. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/22918

MLA

Gómez, Sergio Alejandro. Using Golog for programming Charles to pick candies in the Fantastic City. SEDICI UNLP, 2003. http://sedici.unlp.edu.ar/handle/10915/22918.

Chicago

Gómez, Sergio Alejandro. 2003. Using Golog for programming Charles to pick candies in the Fantastic City. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/22918.

Harvard

Gómez, S. A. 2003, Using Golog for programming Charles to pick candies in the Fantastic City, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/22918 [Accessed 9 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title: Using Golog for programming Charles to pick candies in the Fantastic City

Author / contributors: Gómez, Sergio Alejandro

Publisher: SEDICI UNLP

Publication year: 2003

Language: English

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; Golog; informática; Robotics; educación; Programming Charles; Fantastic City