Background: Prolog

• The promise of declarativity

  • Prolog = imperative programming + unification + backtracking
  • CLP = Prolog + constraint solving

• ISO standard...

  • http://www.logic-programming.org/prolog_std.html

• … but hardly a stable platform

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