Tclp. TCLP é um verificador de tipo para dialetos de prólogo.
Baixe Agora

Tclp. Classificação e resumo

Tclp. Tag

verificador modelo Digite o verificador Dialetos de prólogo. Programação lógica de restrição Tclp.

Tclp. Descrição

O TCLP é um verificador de tipos para dialetos de prólog. O TCLP é um sistema de tipo prescritivo para a programação lógica de restrição, atualmente: ISO-PROLOGGNU-Prologsicstus Prolog e suas bibliotecas de programação de bibliotecas de Sicstus PROGBASED em programas lógicos de restrição por Frake Fages e Emmanuel Cocoy. Jornal de Teoria e Prática de programação lógica TPLP 1 (6)., PP. 751-777. Novembro de 2001. Disponível como PS.TCLP utiliza 3 tipos de polimorfismo: polimorfismo paramétrico (por exemplo: lista (A)) Subtipo (por exemplo: lista (a) sobrecarga

Tclp. Software Relacionado