Object specification helpers

• On startup Prolog gets:

• ipObjectSpec(...)

  • ipObjectSpec(‘java.lang.Integer’,Object,[A],Examples)

• Only “interesting” variables are parameterized

• Extra args may serve as documentation

• teachMoreObjects(ObjectExamplePair[] examples), in PrologEngine

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