How to build object specifications

• Prolog programmers like abstraction

  • …but we don’t want to mark “interesting” variables in Java classes

• Adopted approach:

  • Java programmer gives an object pair, differing only in the interesting variables
  • On startup, the Prolog programmer gets a predicate to specify similar objects

Previous slide

Next slide

Back to first slide

View graphic version

 Declarativa - Serviços de Informática, Lda.
  www.declarativa.com, info@declarativa.com  fax: +351-22-610 9574  tel: +351-22-610 9516
*Sede social (correio):
R. Cerca 88 4150-200 Porto Portugal
 *Centro de Desenvolvimento:
UPTEC - Parque de Ciência e Tecnologia da Universidade do Porto
Rua Actor Ferreira da Silva 100 4200-298 Porto Portugal