B-prolog. ein großer PROG-Compiler für Darwim.
Jetzt downloaden

B-prolog. Ranking & Zusammenfassung

B-prolog. Stichworte

Entwickler Entwicklerhilfe Prolog-Compiler Logikprogrammierung Hilfe Prolog

B-prolog. Beschreibung

Ein großer PROG-Compiler für Darwim. B-Prolog ist ein vielseitiges und wirklich effizientes Constraints-Logik-Programmiersystem (CLP)! B-Prolog wird Ihnen von Afany Software (New York), KLS (Tokio) und Nandasoft (Nanjing) an Sie gebracht. Die Geburt von CLP ist ein Meilenstein in der Geschichte der Programmiersprachen. CLP kombiniert zwei deklarative Programmierparamighmen: Logic-Programmier- und Einschränkungslösung. Die deklarative Natur hat in zahlreichen Anwendungen ansprechend erwiesen, darunter computergestütztes Design und Überprüfung, Datenbank, Data Mining, Software Engineering, Optimierung, Konfiguration, grafische Benutzeroberfläche und Sprachverarbeitung. Eine der B-PROG-Tore ist es, die Produktivität der Softwarewartlichkeit und Entwicklung zu verbessern. Ergänzet, aufgrund der Verfügbarkeit von effizienter Einschränkungslösungen, Speicherverwaltung und Kompilierungstechniken können CLP-Programme effizienter sein als ihre in Verfahrenssprachen geschriebenen Pendants . Was ist neu in dieser Version: · Tabelleneinschränkungen. Eine Tabelle oder ein Auszugsbeschränkung ist entweder positiv oder negativ. Eine positive Einschränkung nimmt das Formular "X in R" und eine negative Einschränkung nimmt das Formular "X NOTIN R" an, wobei x ein Tupelvariablen (x1, ..., xn) oder eine Liste von Tupel von Variablen , und R ist ein Tisch, der als ein Satz von Tupel von Ganzzahlen definiert ist, in dem jedes Tupel die Form (A1, ..., AN) nimmt. · Unterstützung der Tabellenmodi. Eine Tischdeklaration nimmt das Formular ": -table p (m1, ..., mn): n." Wenn p / n ein Prädikat ist, ist MI ein Modus (was "min" sein kann, 'max', '+', '-', ','? '?'? '?'? '? Es ist ein Limit für die Anzahl der Antworten eingereicht. Wenn kein Limit angegeben ist, wird angenommen, dass nur eine Antwort eingereicht ist. · Iteration eingebaut: foreach (iteratoren, localvars, toor) und foreach (iteratoren, localvars, akkumulatoren, ziel) · Neue globale Einschränkungen: post_neqs / 1 und post_disjunctive_tasks / 1. · Zeitveranstaltungen werden mit oberster Priorität behandelt. · Binäre Gleichstellungsbeschränkungen sind weiter spezialisiert. · Globale Einschränkungen hinzugefügt: serialisiert / 2, Zuweisung / 2 und Zuweisung0 / 2. · 'Var in d' und 'var notin d' kann in booleschen Einschränkungen auftreten. · Das unbekannte Flag arbeitet wieder. · Verbesserte Version von call_cleanup / 2. · Eine Fehlerbehebung im Compiler. · Eine Fehlerbehebung in der GLPK-Schnittstelle.

B-prolog. Zugehörige Software