Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por CRACS

1991

A Flexible Scheduler for the Andorra-I System

Autores
Dutra, IdC;

Publicação
Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings

Abstract

1990

Natural Language and Natural Menus Interfaces

Autores
Filgueiras, M; Tomás, AP; Moreira, N; Reis, R; Leal, JP;

Publicação
Modelling the Innovation: Communications, Automation and Information Systems, Proceedings of the IFIP TC7 Conference on Modelling the Innovation: Communications, Automation and Information Systems, Rome, Italy, 21-23 March, 1990

Abstract

1990

The YToolkit: A Prolog Approach to a User Interface

Autores
Leal, JP;

Publicação
Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25

Abstract

1989

An External Database for Prolog

Autores
Leal, JP;

Publicação
EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings

Abstract
This work describes a disk-resident database for Prolog which uses mechanisms similar to the ones used by the clausal database for recording and retrieving terms. It is intended to be used by applications requiring a flexibility greater than that provided by an interface to traditional database system. There is almost no restriction on the terms stored in the database and the retrieval mechanisms produces terms in the order they were recorded. To enhance the performance of the system, the database organization provides an access mechanism using hash-codes on ”key” arguments of the recorded term. The database also provides basic support for multi-user access. © Springer-Verlag Berlin Heidelberg 1989.

  • 202
  • 202