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-030-1511  tel: +351-22-030-1580
UPTEC - Parque de Ciência e Tecnologia da Universidade do Porto (GoogleMap)
Rua Actor Ferreira da Silva 100 4200-298 Porto Portugal