| Ausführung | 8.1 |
|---|---|
| Herausgeber | KopecSoft |
| Veröffentlichungsdatum | 24.02.2014 |
| Datum hinzugefügt | 24.02.2014 |
| Os Anforderungen | Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel |
| Bedarf | None |
| Downloads insgesamt | 946 |
| Preis | Free to try |
Beschreibung
Willkommen bei B-Prolog, einem vielseitigen und effizienten Constraint Logic Programming (CLP) System! B-Prolog wird Ihnen von Afany Software (New York), KLS (Tokio) und NandaSoft (Nanjing) zur Verfügung gestellt.
Die Geburt von CLP ist ein Meilenstein in der Geschichte der Programmiersprachen. CLP kombiniert zwei Paradigmen der deklarativen Programmierung: Logikprogrammierung und Constraint-Solving. Die deklarative Natur hat sich in zahlreichen Anwendungen als attraktiv erwiesen, darunter computergestütztes Design und Verifikation, Datenbank, Data Mining, Software-Engineering, Optimierung, Konfiguration, grafische Benutzerschnittstelle und Sprachverarbeitung. Es verbessert die Produktivität der Softwareentwicklung und die Wartbarkeit der Software erheblich. Darüber hinaus können CLP-Programme aufgrund der Verfügbarkeit von effizienten Constraint-Solving-, Speicherverwaltungs- und Kompilierungstechniken effizienter sein als ihre Gegenstücke, die in prozeduralen Sprachen geschrieben sind.
