Tclp TCLP is een typecontroleur voor prolog-dialecten.
Download nu

Tclp Rangschikking & Samenvatting

Tclp Tags

checker type Type Checker Prolog dialecten Beperking logische programmering TCLP

Tclp Beschrijving

TCLP is een typecontroleur voor prolog-dialecten. TCLP is een prescriptief type systeem voor programmering van de beperkingslogica, momenteel: ISO-PROGLEGNU-PROGLOGSICSTUS PROLOG en zijn BibliotharissenConTraints Programmeerbibliotheken van Sicstus Prologbased op het typen van beperkingslogica-programma's van Franois Fages en Emmanuel Coquery. Journal of theorie en praktijk van logica-programmering TPLP 1 (6)., PP. 751-777. NOVEMBER 2001. Verkrijgbaar als Ps.TCLP gebruikt 3 soort polymorfisme: parametrische polymorfisme (bijv.: Lijst (A)) subtypen (bijv.: Lijst (A) int en typ a * b -> paar (A, b) bruikbaar: geen type aangifte vereist! Type Inferentie voor PredicatesDefault-typen voor functie Symbolsexesible voor andere dialecten door typen te bieden voor gebouwde ins TCLP wordt geïmplementeerd in Prolog / Chr.What's nieuw in deze release: · Deze release voegde de mogelijkheid toe om type aliassen toe te voegen. · Dat wil zeggen, om te verklaren en Gebruik namen als snelkoppelingen voor typen in typeverklaringen.

Tclp Gerelateerde software