Logtalk für Mac

Logtalk-Compiler und Laufzeit

• Hinzugefügt: Prädikate logtalk::loaded_files_topological_sort/1-2 zum Sortieren geladener Dateien nach ihren Abhängigkeiten.
• Verbessert: Die Implementierung der Prädikate logtalk_make/0-1 für das Ziel „alle“, um Kompilierungswarnungen aufgrund der nicht ordnungsgemäßen Reihenfolge des Ladens von modifizierten Quelldateien zu vermeiden oder zu minimieren. Siehe die Dokumentation des Make-Tools für Details.
• Behoben: Drucken der Standardflag-Werte beim Start, um die prolog_dialect-Flag als schreibgeschützte Flag aufzulisten.
• Behoben: Die Linter-Warnung für die Verwendung von Logtalk oder Prolog Top-Level-Abkürzungen als Direktiven ignorierte das Portabilitätsflag.

Prolog-Adapter und Integrationsdateien

• Geändert: Trealla Prolog-Adapterdatei, um Version 2.84.29 oder höher zu erfordern.
• Aktualisiert: Eclipse-Adapterdatei, um die neue read_term/3-Prädikatszeilen/1-Option zu verwenden, die in Version 7.2#5 eingeführt wurde, um genaue Startzeilen für das Lesen von Termen zu erhalten.
• Behoben: Cxprolog-Adapterdatei, um die Implementierung des eingebauten Prädikats predicate_property/2 zu umgehen, das Eigenschaften für unbekannte Prädikate zurückgibt.
• Behoben: Quintus Prolog-Adapterdatei, um einige falsche verdächtige Aufrufwarnungen beim Laden von Tools wie lgtunit zu vermeiden.
• Behoben: Quintus Prolog-Adapterdatei, die Erweiterungen für einige arithmetische Funktionen fehlte.

Dokumentation

• Hinzugefügt: Einen Abschnitt „Bekannte Probleme“ zur Dokumentation des Make-Tools.
• Aktualisiert: Das Handbuch zur Auffindung einer optimalen Dateiladeordnung unter Verwendung der neuen logtalk::loaded_files_topological_sort/1-2-Prädikate.

Bibliothek

• Verbessert: Die Implementierung des Prädikats os::time_stamp/1 für Sicstus Prolog, Trealla Prolog, Xsb und Yap.
• Verbessert: Tests für die Prädikate der os-Bibliothek.
• Aktualisiert: Den Formatbibliotheks-Linter-Checker, um sich des ~W-Steuersequenz, die zwei Argumente verwendet, bewusst zu sein.

Tools

• Verbessert: Das Skript logtalk_doclet.sh beendet jetzt alle erstellten Kindprozesse beim Beenden.
• Behoben: Syntaxfehler beim Laden des Diagrammtools mit dem Gnu Prolog-Backend.
• Behoben: Die Skripte logtalk_doclet.sh und logtalk_tester.sh überprüfen auch den alternativen Namen gnutimeout für den Gnu coreutils-Befehl timeout. Danke an Andrew Davison für den Bugbericht.

Ides, Texteditoren und Syntax-Highlighter-Unterstützung

• Hinzugefügt: Unterstützung für den Context7 Mcp-Server über eine context7.json-Datei.
• Hinzugefügt: Vscode-Unterstützungsprädikate infer_public_predicates/2 und files_topological_sort/3.
• Behoben: Die Vscode-Unterstützung umgeht die nicht konforme Implementierung von multifile Prädikaten in Ciao Prolog.