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.

2006-08-29 14:34
0.4.4

Diese Version hat zusätzlich die Möglichkeit zu tippen Aliase hinzuzufügen. Das ist zu erklären, und verwenden Sie Namen als Kürzel für die Typen in Deklarationen.
Tags: Development, Minor feature enhancements
This release added the possibility to add type aliases. That is, to declare and use names as shortcuts for types in type declarations.

2005-05-25 16:52
0.4.3

Die Geschwindigkeit des Typs Schluß wurde für große Programme mit vielen sich gegenseitig rekursive Prädikate verbessert. TCLP versucht nun der Eingabe überprüfen Prolog-Dateien für Module, die nicht haben. Typ. Dateien. Die Fehlermeldungen wurden aktualisiert, so dass sie von Emacs in eine Zusammenstellung Puffer zu verstehen.
Tags: Development, Minor feature enhancements
The speed of type inference has been improved for large programs with
a lot of mutually recursive predicates. TCLP now tries to type check
prolog files for modules that don't have .typ files. The error messages
have been updated so they can be understood by Emacs in a compilation
buffer.

2004-11-16 20:37
0.4.2

Ein Cache-System wurde implementiert, um die Beschleunigung der Initialisierung des TCLP. Diese Pressemitteilung enthält auch zwei Bugfixes: es korrekt gedruckt Fehler typeof Erklärungen, und druckt Namen korrekt bei der Begegnung mit einem Fehler mit Option - nodefault.
Tags: Development, Minor feature enhancements
A cache system was implemented in order to speed up the initialization of TCLP. This release also contains two bugfixes: it correctly prints errors of typeof declarations, and prints names correctly when encountering an error with --option nodefault.

2004-03-01 11:07
0.4.1

DCG Expansion wurde hinzugefügt. TCLP druckt nun die Art der Variablen bei der Suche nach einem Fehler in einem Satz.
Tags: Development, Minor feature enhancements
DCG expansion has been added. TCLP now prints the
type of variables when finding an error in a clause.

2004-01-27 12:07
0.4

In dieser Version wurde eine Verbesserung der Geschwindigkeit erreicht durch den Abbau und die Vereinfachung der verschiedenen Typs Einschränkungen. Es gab auch einige Bugfixes, sowohl in den Bibliotheken und in der Art Checker.
Tags: Development, Minor feature enhancements
In this release, a speed improvement was achieved
thanks to the elimination and the simplification of various
type constraints. There were also some bugfixes, both in
libraries and in the type checker.

Project Resources

Project Page Download: Demo Homepage Download: TGZ