OSDN -- Open-Source-Software-Entwicklung und Downloads
Übersetzungsstatus von Deutsch translation status for de

RSS
Downloadliste

Projektbeschreibung

TCLP is a type checker for Prolog dialects. It is written in SICStus Prolog. Its goal is to statically trap programming errors like illegal arguments used in a call for a predicate or illegally built data structures with respect to a given typing for function symbols or predicates. TCLP is also capable of type inference for user predicates. Supported dialects include ISO-Prolog, GNU-Prolog, and SICStus Prolog.

Systemanforderungen

Die Systemvoraussetzungen sind nicht definiert
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2003-06-02 19:41
0.3b

Ein Fehler in Typinferenz wurde behoben.
Tags: Development, Minor bugfixes
A bug in type inference was fixed.

2002-10-31 18:08
0.3

Die Quellen wurden rund um die tclp.pl Bibliothek reorganisiert. Einige Code, um das Standard-TCLP Typenbibliotheken Lookup wurde hinzugefügt. Es gibt jetzt eine starke Typisierung der Gleichheit, der nur über eine Option (- strong_eq), da sie nicht die wahre Art Disziplin TCLP entsprechen. Ein Fehler in der Art Schluß war zu restriktiv und hat nicht die Bezeichnung x ... X-Term -> pred Typ standardmäßig wurde behoben. Die Dokumentation wurde komplett neu geschrieben und ist jetzt in der Distribution enthalten.
Tags: Development, Code cleanup
The sources were reorganized around the tclp.pl
library. Some code to lookup the standard tclp
type libraries was added. There is now a strong
typing of equality, available only via an option
(--strong_eq), since it does not correspond to the
true type discipline of tclp. A bug in which type
inference was too restrictive and didn't provide
the term x ... x term -> pred type by default was
fixed. The documentation was entirely rewritten,
and is now included in the distribution.

2002-09-04 23:41
0.2.99g

Es wurde ein Fehler in der Art Constraint-Solver behoben, das zu TCLP Endlosschleife führen kann. Einige Funktion wurden hinzugefügt, darunter mehr Konfigurationsmöglichkeiten aus der. Typ. Dateien (siehe corelib.typ-Dateien und die chr-Datei in dem SICStus Bibliotheken). Diese Pressemitteilung kann in einem SICStus Interpreter verwendet werden kann, mit use_module (Bibliothek (TCLP)) und kann nun verwendet werden, um GNU Prolog-Dateien typecheck.
Tags: Development, Major feature enhancements
A bug has been fixed in the type constraint solver that
could cause TCLP to loop forever. Some feature were
added, including more configuration possibilities from
the .typ files (see the corelib.typ files and the chr file in
the sicstus libraries). This release can be used inside a
sicstus interpreter, using use_module(library(tclp)), and
can now be used to typecheck GNU Prolog files.

2002-06-18 20:50
0.2.99d

Diese Veröffentlichung enthält buxfixes in der Art Kontrolleur, sowie Updates für Typ libraires für SICStus Einbauten.
Tags: Development, Initial freshmeat announcement
This release includes buxfixes in the type
checker, as well as updates for type libraires for
sicstus built-ins.

Project Resources

Project Page Download: Demo Homepage Download: TGZ