Declarativa Declarativa
 

 

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-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