Logtalk

Prolog jest językiem programowania ogólnego przeznaczenia logiki, która została wydana w 1972, z nielicznymi aktualizacjach pory.

Logtalk została stworzona, aby dodać kolejne nowoczesne funkcje do Prologu, głównie poprawę wydajności, wyrażenia lambda, reguł gramatycznych, poprawa błędów kompilatora i raportowanie ostrzeżenie.

Na szczycie nich dodać łatwiejszą instalację i Prolog aktualizacje zgodności kompilatora.

To sprawia Logtalk lepsze, bardziej odpowiednią alternatywą dla Prologu w dzisiejszej AI i językoznawstwo komputerowe scenariuszy, znacznie mocniejszego języka multi-paradygmatu, korzystne dla wielowątkowości programowanie sterowane zdarzeniami i na wysokim poziomie.

Składnia Obecnie Logtalk rozszerza standardową składnię Prolog i można uruchomić Logtalk na tych kompilatorów Prolog:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

Co nowego w tym wydaniu:

• Ulepszenie:
• Zmiany tagów termin używany podczas pisania skompilowany kod, aby pomóc zminimalizować wielkość generowanych pośrednich plików startowych, które używają tych znaczników zdecydować, kiedy do dekoracji skompilowane warunki z danych dotyczących lokalizacji źródła (do obecnie tylko SWI-Prolog wykorzystuje dane lokalizacyjne).
• FIXED:
• Plik może mieć więcej niż jeden plik nadrzędny.

Co nowego w wersji 3.02.2:

• Ulepszenie:
• Zmiany tagów termin używany podczas pisania skompilowany kod, aby pomóc zminimalizować wielkość generowanych pośrednich plików startowych, które używają tych znaczników zdecydować, kiedy do dekoracji skompilowane warunki z danych dotyczących lokalizacji źródła (do obecnie tylko SWI-Prolog wykorzystuje dane lokalizacyjne).
• FIXED:
• Plik może mieć więcej niż jeden plik nadrzędny.

Co nowego w wersji 3.02.1:

• Ulepszenie:
• Zmiany tagów termin używany podczas pisania skompilowany kod, aby pomóc zminimalizować wielkość generowanych pośrednich plików startowych, które używają tych znaczników zdecydować, kiedy do dekoracji skompilowane warunki z danych dotyczących lokalizacji źródła (do obecnie tylko SWI-Prolog wykorzystuje dane lokalizacyjne).
• FIXED:
• Plik może mieć więcej niż jeden plik nadrzędny.

Co nowego w wersji 3.00.4:

• Ulepszenie:
• Zmiany tagów termin używany podczas pisania skompilowany kod, aby pomóc zminimalizować wielkość generowanych pośrednich plików startowych, które używają tych znaczników zdecydować, kiedy do dekoracji skompilowane warunki z danych dotyczących lokalizacji źródła (do obecnie tylko SWI-Prolog wykorzystuje dane lokalizacyjne).
• FIXED:
• Plik może mieć więcej niż jeden plik nadrzędny.

Co nowego w wersji 3.00.2:

• Ulepszenie:
• Zmiany tagów termin używany podczas pisania skompilowany kod, aby pomóc zminimalizować wielkość generowanych pośrednich plików startowych, które używają tych znaczników zdecydować, kiedy do dekoracji skompilowane warunki z danych dotyczących lokalizacji źródła (do obecnie tylko SWI-Prolog wykorzystuje dane lokalizacyjne).
• FIXED:
• Plik może mieć więcej niż jeden plik nadrzędny.

Co nowego w wersji 3.00.1:

• Ulepszenie:
• Zmiany tagów termin używany podczas pisania skompilowany kod, aby pomóc zminimalizować wielkość generowanych pośrednich plików startowych, które używają tych znaczników zdecydować, kiedy do dekoracji skompilowane warunki z danych dotyczących lokalizacji źródła (do obecnie tylko SWI-Prolog wykorzystuje dane lokalizacyjne).
• FIXED:
• Plik może mieć więcej niż jeden plik nadrzędny.

Co nowego w wersji 2.44.1:

• Poprawiono błąd w kompilacji meta_non_terminal / 1 dyrektywy, jeżeli tylko pierwsza meta-argumentem byłyby prawidłowo przetwarzane.
• Zaktualizowany plik konfiguracyjny Eclipse wykryć, kiedy działa na systemach Windows 64 bity i ignorowania eksport non-predykatów i innych operatorów, gdy pre-produkcyjne lib / 1 dyrektywy.
• Aktualizacja ramy testów jednostkowych do drukowania wiadomości zawierają więcej informacji o nieudanych testów jednostkowych.
• Dodano orzecznik podzielić / 4 (do podziału listę pod podlist przy określonej długości) do & quot; & quot ;, listp & quot; & quot ;, listy i & quot; difflist & quot; Podmioty biblioteczne.
• Aktualizacja & quot; cc & quot; Przykładem z definicją dla powłoki / 2 orzecznika dla CxProlog.
• Zmienione nazwy obiektów w & quot; mi & quot; Przykładem aby uniknąć konfliktu nazw podczas uruchamiania testów jednostkowych przykładów.
• Poprawiono błąd w Instalator Windows, który uniemożliwiał wykrycie YAP 64 bity wersjach. Dzięki Stepan Ipatov w raporcie.

Co to jest nowa w wersji 2.44.0:

• W tej wersji zmienia semantyki uzupełniając kategorie, dzięki czemu jego użycie patch istniejącego kodu obiektowego, naprawia dwa błędy w przetwarzaniu meta-rozmowy, umożliwia otwarte listy terminali w organizmie zasad DCG, dodaje dwa nowe przykłady i poprawia wsparcie dla edytora tekstu Vim i żywiołowy ctags.

Co nowego w wersji 2.43.3:

• Poprawiono błąd w module obsługi Logtalk kompilator wykonawczego gdzie nie udało się dekompilować wewnętrzne identyfikatory podmiotu podczas rzucania wyjątków egzystencję podmiot.
• Aktualizacja Lean Prolog plik konfiguracyjny, dodając Index / 1 dyrektywy dla niektórych dynamicznych orzeczników używanych przez wewnętrzne tabel Logtalk uruchomieniowych.
• Aktualizacja plików integracyjnych SWI-Prolog do testowania dostępności dyrektywy index / 1, która jest przestarzała przez nową eksperymentalną obsługę SWI-Prolog do indeksowania wielu argumentów just-in-time.
• Dodane predykatów podciąg / 4 (do generowania podsekwencje listy przy określonej długości), zastąpił / 4 (do wymiany elementów na liście), a hamming_distance / 3 do biblioteki & quot; listp & quot; i & quot; lista & quot; podmioty.
• Dodano euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, a scalar_product / 3 predykaty do biblioteki & quot; numberlistp & quot; i & quot; numberlist & quot; podmioty.
• Poprawiono kilka głupich błędów w definicji znaku & quot; & quot; Celem biblioteki predykatów is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1 i is_hex_digit / 1.
• Aktualizacja biblioteki & quot; all_loader.lgt & quot; Plik Ładowarka również załadować & quot; meta_compiler_loader.lgt & quot; Plik ładowarka.

Co nowego w wersji 2.43.2:

• Zoptymalizowane przetwarzanie deklaracji operatora podczas kompilacji plików źródłowych i dynamicznie tworzenie nowych podmiotów.
• Zaktualizowany kompilator Logtalk do korzystania z & quot; moduły & quot; flag kompilatora podczas testowania wsparcia modułu Prolog, a tym samym uniknąć problemów kompilacji z back-end prologowych kompilatory, które nie obsługują system modułów, ale nadal define (:) /. 2 jako wbudowanej konstrukcji sterowania lub orzecznika
• Usunięto wsparcie dla & quot; startup_message & quot; Kompilator flag & quot; flagi (Compact) & quot; i & quot; flagi (verbose) & quot; Wartości, zastępować jednej wartości, & quot; & quot ;, flagi, która odpowiada stary & quot; flagi (Compact) & quot; wartość.
• Poprawiono błąd przy użyciu OP / 3 dyrektyw z create_protocol / 3, create_object / 4, a create_category / 4 wbudowanych predykatów gdzie lokalne deklaracje operator byłby widoczny poza nowym podmiotom.
• Poprawiono błąd, tworząc nową dynamiczną jednostkę w czasie wykonywania byłoby zdefiniowanie nie jest już wykorzystywana księgowości dynamiczne orzeczenie, które nie zostaną zniesione, gdy jednostka jest zniesione.
• Poprawiono błąd kompilatora, gdzie & quot; Super & quot; zadzwonić od wewnątrz obiektu, który tylko instancję się i nie specjalizują się każdy obiekt będzie wyjątek, a nie zawodzi.
• Aktualizacja & quot; benchmarki & quot; przykładowo w celu ochrony przed wyjątkami arytmetycznych przy obliczaniu całkowitej liczby połączeń na sekundę, dla każdego testu. Zmniejszono liczbę powtórzeń porównawczych testów podczas uruchamiania testów jednostkowych, aby uniknąć długich czasów obliczeń o powolnym back-end prologowych kompilatorów.

Co nowego w wersji 2.43.1:

• Zmienione kompilator, aby wziąć pod uwagę zastosowania / dyrektywa 2 przy zestawianiu połączeń do wbudowanych metod bazy danych. Ta zmiana rozszerza semantykę zastosowań / dyrektywa 2 i pozwala na łatwiejszą migrację z prostych aplikacji Prolog do Logtalk.
• Dodano eksperymentalną obsługę przy użyciu szablonu predykatu jako argument do coinductive / 1 dyrektywy. Ten szablon pozwala specyfikację których argumenty są istotne dla coinductive sukcesu. W oparciu o podobnej funkcjonalności znaleźć na na Feliksa Kluźniak za DRA meta-tłumacza.
• Ulepszone wsparcie dla debugowania coinductive predykatów przy korzystaniu z Logtalk wbudowany debugger.
• Usunięto wsparcie coinduction dla CxProlog. Obecna wersja tego kompilatora brakuje soft-cut wbudowany orzecznika lub konstruktem kontrolnym, który jest wymagany przez eksperymentalnej realizacji coinduction.
• Nie przeszkadzać wieloletnie ograniczenia który uniemożliwiał definicję obsługi predykatów otoczka do bagof / 3 i setof / 3 wbudowanych metod, gdy celem argumentem może używają ^ / 2 kwantyfikatora.
• Dodano wsparcie dla & quot; ^ & quot; meta-meta-orzecznik Argument mode specifier sugerowane przez Jana Wielemaker i znalazł się na SWI-Prolog 5.11.25. Tryb ten specifier jest przydatna przy określaniu owijarki do / 3 i setof / 3 wbudowanych metod bagof gdy celem argumentem może używają ^ / 2 kwantyfikatora.
• Dodane & quot; prolog_compiler & quot; i & quot; prolog_loader & quot; flag kompilatora, które umożliwiają przekazanie opcji do back-end Prolog kompilatora wbudowanych predykatów kompilacji na dysku i załadować (skompilowany) Prolog flagi. Domyślną wartością dla obu flag jest pusta lista.
• Poprawiono błąd przy kompilacji wywołań Prolog Proprietary wbudowanego meta-orzeczników, gdzie kompilator Logtalk może próba przetworzenia niż meta-argumenty jako cele. Ten błąd objawia się tylko z niektórymi back-end prologowych kompilatory takie jak Eclipse.
• Poprawiono błąd w przetwarzaniu dyrektyw kompilacji warunkowej.
• Poprawiono błąd, który uniemożliwił przechodzącej alias / 3 dyrektywy dotyczące połączeń z create_object / 4, create_category / 4, a create_protocol / 3 wbudowane predykaty.
• Usunięto z wbudowanego obiektu & quot; logtalk & quot; z decompile_predicate_head / 4 i decompile_predicate_indicator / 4 przestarzałe metody.
• Usunięto wsparcie dla dawno nieaktualnych Logtalk metapredicate / 1 dyrektywy.
• Poprawiono błąd wydajność podczas buforowania połączeń do kategorii orzeczników którym buforowane wpisy mogą być bardziej szczegółowe niż to konieczne w przypadku pracy z kategorii parametrycznych.
• Ulepszone buforowanie & quot; Super & quot; wymaga od wewnątrz prototypów. Wcześniej wszystkie buforowane wpisy byłyby specjalizuje przez wartość & quot; samodzielnego & quot; aby prawidłowo zajmować się szczególnych przypadkach, gdy obiekt obie instancję i specjalizuje się inne obiekty.
• Zaktualizowany kompilator Logtalk aktywować żadnych deklaracji operatora znajdują się zakresem dyrektyw bazowych podczas kompilacji podmiotów, które zawierają wskazówki.
• Lepsza wydajność coinductive orzeczników przy użyciu back-end Prolog kompilatory takie jak SICStus Prolog, które nie dostarczają konstrukt kontrolny soft-cut, ale zapewniają miękkie-cut wbudowanym meta-orzecznika (jeśli / 3).
• Poprawiono błąd, w którym raport fałszywych ostrzeżeń kompilacji / ładowania może być wydrukowany kiedy plik źródłowy został skompilowany / załadowany z flagą kompilatora & quot; raport & quot; wyłączone.
• Dodano & quot; streamvars & quot; biblioteki obiektów, pochodzące z istniejącego & quot; assignvars & quot; Kategoria biblioteka, wyposażony w obsługę dodawania i usuwania warunki (które mogą być zmienne) z & quot; strumieniu & quot; zmienny.
• Aktualizacja & quot; coinduction & quot; Przykładem, wykorzystując zwiększoną coinductive / 1 dyrektywy i rozszerzenie liczby poszczególnych przykładów, które mogą być uruchamiane za pomocą SICStus Prolog. Dodano sprawdzanie modelu przykład używając coinduction, coroutining i ograniczenia.
• Aktualizacja & quot; metapredicates & quot; Przykład z przykładowy kod ilustrujący jak zdefiniować owijarki do / 3 i setof / 3 wbudowanych metod bagof gdy meta-argumentem może zawierać zmienne egzystencjalnie wykwalifikowanych.
• Aktualizacja & quot; cc & quot; Przykładem, korygując definicje orzeczone przez kilka back-end prologowych kompilatorów i dodając kilka podstawowych testów jednostkowych.
• Aktualizacja & quot; kodowania & quot; Przykładem z ograniczonym wsparciem dla Lean Prologu.
• Dodano brakujące wpisy na meta_non_terminal / 1 dyrektywy oraz na wezwanie // N nieterminalny do & quot; pomóc & quot; przykład.
• Dodano parser dla PDDL 3,0 plików przyczynił Robert Sasak.
• Kod Dodany składane wsparcie dla edytora tekstu SubEthaEdit. Dodano wsparcie dla kodu składane bloków warunkowych kompilacji do edytorów tekstu Kate Vim i TextMate.
• Aktualizacja skrypty integracyjne w celu załadowania pliku ścieżki biblioteki przed załadowaniem Logtalk kompilator / runtime. Zmiana ta ma na celu uproszczenie ładowanie plików bibliotecznych i przykład z plików ustawień. Ponadto, również szukać w katalogu instalacyjnym Logtalk w $ HOME / akcję, gdy zmienna LOGTALKHOME nie jest zdefiniowana.
• Aktualizacja instalatora Windows w celu wsparcia Lean Prolog i wykrywania Yap 64 bity wersje.

Co nowego w wersji 2.43.0.

• Dodano eksperymentalną obsługę Lean Prolog
• Usunięto ograniczenie Logtalk kompilator zmuszony nie sąsiadujące ze sobą / 1/1 i dynamiczne dyrektyw poprzedzać wywołań deklarowanych orzeczników.
• Ulepszona raport Logtalk kompilator misspelt wywołań niebędących terminali reguł gramatycznych.
• Zezwalaj na używanie. Kontroli / 1 skonstruować na ciele reguł gramatycznych
• Gdy debugowanie komunikatów wyszczególnionych w stosowaniu dyrektyw / 2, wiadomość jest teraz drukowane w sposób dorozumiany zakwalifikowane jako w kodzie źródłowym napisanym przez użytkownika.
• Zmienione wewnętrzne predykaty stosowane w realizacji wbudowanych predykatów wielowątkowości w celu ułatwienia integracji z narzędziami debugowania wysokiego szczebla, które wymagają dekompilacji wygenerowanego kodu Prolog.
• Poprawiono błąd w bibliotece wsparcie dla testów jednostkowych, & quot;. & Quot ;, lgtunit gdzie testowanie wyjątki zaakceptuje żadnego warunku wyjątku za zgodne ze specyfikacją testów jednostki
• Aktualizacja & quot; cc & quot; Przykład z poprawek i ulepszeń dla Eclipse przyczyniły Joachim Schimpf, z Bug fix dla realizacji SWI-Prolog z expand_path / 2 orzecznika (wynikające z ostatnich zmian w SWI-Prolog absolute_file_name / 3 wbudowanym źródłowe), a także z definicję dla command_line_arguments / 1 orzecznika dla B-Prologu.
• Aktualizacja & quot; coinduction & quot; przykład dodanie kilku pojedynczych przykładów.
• Aktualizacja & quot; xml_parser & quot; Wkład w celu obejścia problemów przenośności GNU Prolog.
• poprawić błąd w niektórych skryptach powłoki, gdzie & quot; #! / Bin / bash & quot; zastosowano zamiast & quot; #! / bin / bash & quot ;. Dzięki Yiorgos Adamopoulos w raporcie.
• Aktualizacja Inno Setup skryptu instalacyjnego GUI systemu Windows w celu umożliwienia pełnej instalacji przez użytkowników non-admin.
• Dodano wsparcie dla kolorowania składni dyrektywy ISO Prolog include / 1 dla wszystkich obsługiwanych edytorów tekstowych i wyróżnień składni.
• Poprawiono kilka błędów na karcie wyzwala dla fragmentów Gedit Logtalk które uniemożliwiły ich wykorzystania.
• Zmienione powrotem do używania XEP zamiast FOP przy generowaniu wersji PDF użytkownika i odnośnych podręczników jak FOP obcina zawartość niektórych stron.

Co nowego w wersji 2.42.4:

• Dodano entity_prefix / 2 orzecznik i dwa zestawy predykaty użytkowych, decompile_predicate_heads / 2-4 / 2-4 oraz decompile_predicate_indicators do & quot; logtalk & quot; Wbudowany w obiekcie. Oznaczał decompile_predicate_head / 4 i decompile_predicate_indicator / 4 jako przestarzałe.
• Dodano wsparcie dla zachowania informacji Zakres operatorów uznany za pomocą dyrektyw, zakres w czasie kompilacji. Dodano informację o podmiocie oświadczył operatorom XML dokumentującej plików. Zaktualizowano tekstowe, PDF i (X) HTML, skrypty konwersji do wydrukowania informacji operatora.
• Applied kilka optymalizacje niskopoziomowe do Logtalk kompilator / runtime.
• Przeniesiony wewnętrzne predykaty, że budowa i dostęp kontekst wykonania orzecznik z kompilatora do plików konfiguracyjnych Prolog w celu wspierania dostrajania wydajności, który jest zależny od Prolog kompilatora.
• Aktualizacja realizacja gwintowaną / 1 wielowątkowości wbudowanym orzecznika w celu korzystania z niewielką optymalizacji wydajności w oparciu o term_variables / 2 wbudowaną bazowych sugerowanych przez Timon Van Overveldt. Optymalizacja ta ma na celu ograniczenie zbędnych kopii i ujednolicenie pojęć. Ponadto, należy wymienić wykorzystanie setup_call_cleanup / 3 wbudowanym orzecznika z połowów / 3 wbudowanym orzecznika upraszcza obsługę zarówno master i slave wątków, co również poprawia wydajność.
• Poprawiono błąd w realizacji gwintowany / 1 wielowątkowości wbudowanym orzecznika których awaria przez użytkownika w celu określenia niezależnych bramek, gdy próbuje użyć niezależny i-równoległość skutkowałoby wątków zombie.
• Więcej informacyjne terminy wyjątek podczas próby zadeklarować zsynchronizowany predykat jako dynamiczne lub dynamiczne orzecznik tak zsynchronizowane.
• Zaktualizowany plik konfiguracyjny XSB w celu wspierania kompilacji modułów obiektów. Dodano definicję brakującej setup_call_catcher_cleanup / 4 wbudowanym orzecznika. XSB 3.3 (lub nowszy) jest obecnie wymagane dla zgodności z Logtalk.
• Zaktualizowany plik konfiguracyjny SWI-Prolog w celu świadczenia ograniczone wsparcie dla arithmetic_function / 1 zastrzeżonych dyrektywy (funkcje arytmetyczne są skompilować jako globalne, a nie jako lokalne dla obiektów lub kategoriach definiujących je).
• Zaktualizowany plik konfiguracyjny Yap w celu ignorowania style_check / 1 dyrektywy i interpretowania yap_flag / dyrektywa 2 jako / dyrektywa set_prolog_flag 2.
• Zmieniono domyślny procesor XSL-FO (używany do generowania wersji PDF Użytkownika i odniesienie do podręczników) z XEP do FOP.
• Aktualizacja & quot; xml_parser & quot; Wkład w celu obejścia problemów przenośności Qu-Prolog, SICStus Prologu i XSB.
• Aktualizacja & quot; kodowania & quot; przykład w celu zapewnienia, że ​​nie ma spacji przed kodowania / 1 dyrektywy.
• Aktualizacja & quot; attvars & quot; przykład w celu wspierania B-Prolog i XSB. Dodano także obsługę za pomocą przypisanych zmiennych w Logtalk parametrycznych obiektów i kategorii parametrycznych. Dzięki Jan Wielemaker, VAtor Costa Santos i Barta Demoen o opinie i realizacji propozycji.
• Aktualizacja & quot; profilowania & quot; Przykład ze wstępną poparcia dla zmian wykonanie profilowania w SICStus Prolog 4.2 wersji.
• Aktualizacja & quot; ekspansję & quot; Przykładem bardziej przykładowy kod na jak połączyć term- i definicje celem ekspansji-haki z różnych przedmiotów.
• Aktualizacja & quot; coinduction & quot; Przykładem, dodając eksperymentalny keysort / 2 coinductive orzecznik. Dzięki Jan Burse za sugestię.
• Aktualizacja & quot; tak & quot; wielowątkowości przykład, gdy brakuje cięcia skutkowałoby szybko wyczerpując lokalnego stosu przy użyciu SWI-Prolog powodu powstania bardzo dużej liczby zbędnych punktów wyboru.
• Aktualizacja & quot; mtbatch & quot; wielowątkowości przykład w celu zapewnienia rozszerzoną analizę porównawczą z & quot; TAK & quot; przykład.
• Aktualizacja portfile DarwinPorts i skrypt, który aktualizuje go w celu usunięcia obliczanie sumy kontrolnej MD5, która jest wycofywana przez MacPorts.
• Aktualizacja Inno Setup skryptu instalacyjnego GUI systemu Windows w celu Obejście błąd na instalatorów SWI-Prolog Windows, gdy procedura odinstalowywania fail usunąć klucze SWI-Prolog z rejestru systemu Windows.

Co nowego w wersji 2.42.3:

• umożliwiają dynamicznych predykaty zadeklarowane w kategorii nazywać T.W. to cali do z poziomu kategorii. W poprzednich wersjach, takie połączenia spowoduje błąd kompilacji, zmuszając te predykaty być wywołana w & quot; ja & quot; (Za pomocą wiadomości :: / 1 wysyłanie konstrukt kontrolny).
• Dodane Logtalk wsparcia kompilator skompilowane głowach punkt (za pomocą przycisku {} / 1 Sterowanie konstrukt). Funkcja ta jest przydatna głównie przy użyciu mechanizmu Termin-rozszerzeń.
• Poprawiono błąd w kodzie, który upraszcza klauzul predykatów generowane przez kompilacji zasad gramatycznych. Kod będzie pętli, gdy reguła gramatyki zawierała meta-zmiennych, które kompilator Logtalk powinien (ale obecnie nie) Sprawozdanie za nielegalne (konstrukt wywołanie / 1 kontroli powinien być stosowany zamiast w tej sprawie).
• Uproszczone zestawienie połączeń w ramach pseudo-obiekt & quot; user & quot;.
• Dodano polecenie debugger & quot; P & quot; do Logtalk wbudowany debugger. To polecenie drukuje aktualny cel, korzystając z wydruku / 1 orzecznik kiedy będą dostępne. Przemianowany na polecenie & quot debugger, Q & quot; & quot; & quot ;. Q Poprawiono błąd, w którym polecenie debugger & quot; w & quot; nie będzie uznana. Zmienione polecenia debugera & quot; d & quot; przytoczyć warunki, kiedy jest to konieczne.
• Dodano częściową realizację ISO Prolog predicate_property / 2 orzecznika do pliku konfiguracyjnego Eclipse.
• Zaktualizowany plik konfiguracyjny SWI-Prolog, aby usunąć błędną deklarację biblioteki meta-orzeczników dde_register_service / 2, czas / 1, a kiedy / 2 jako wbudowany w meta-orzeczników.
• zastosował bug fix do & quot; flagami & quot; Wkład udostępniane przez jego autora, Theofrastos Mantadelis. Obejście problemu zgodności z GNU Prolog.
• Dodano memberchk / 2 predykat do biblioteki & quot; SEtP & quot; Protokół i & quot; ustawić & quot; obiekt. Dodano predykaty is_control / 1, is_newline / 1 i is_end_of_line / 1, aby biblioteki & quot; characterp & quot; i & quot; znak & quot; podmioty.
• Dodano eksperymentalną przykład za pomocą przypisanych zmiennych w obiektach Logtalk i kategorii. Obecnie wymaga użycia YAP lub SWI-Prologu jako back-end Prolog kompilatora.
• Dodano wsparcie dla indexicals do & quot; Ograniczenia / sicstus & quot; przykład.
• Rozszerzona & quot; delegaci & quot; Przykładem z realizacji próbek wynoszącym Delegator wykorzystaniem parametrycznego obiekt.
• Rozszerzona & quot; dynpred & quot; Przykład W celu zilustrowania sposobu określenia kategorii predykatów obsługiwania dynamicznych orzeczniki w kontekście cali do tego cali do; oraz w związku z & quot; ja & quot;.
• Dodano wall_time / 1 predykat do & quot; cc & quot; przykład.
• Poprawiono podświetlanie składni pliki testowe, dodając brakujące true / 0/0 i negatywnej konstrukty kontrolne.

Co nowego w wersji 2.42.2:

• Zaktualizowany kompilator Logtalk w celu umożliwienia sprawdzania właściwości modułu predykatywnych bez konieczności importowania predykaty do & quot; & quot; użytkownik (Należy jednak pamiętać, że moduł musi jeszcze zostać załadowane przed kompilacji plików źródłowych Wywoływanie predykatów Module).
• Zaktualizowany kompilator Logtalk w celu sprawdzenia czasu kompilacji instancji argumenty zamknięcia na wywołanie / 2-N bramek dla typowych błędów programistycznych.
• Zaktualizowany kompilator Logtalk w celu generowania ostrzeżenia dla wyrażeń lambda ze zmiennymi, które nie zostały zadeklarowane jako zmienne albo za darmo lub parametrów lambda lub zmiennych, które zostały zgłoszone jako obu wolnych zmiennych i parametrów lambda. Dzięki Jan Burse za sugerowanie tych testów poprawności.
• Aktualizacja runtime Logtalk w celu wspierania pomocą & # x3c; & # x3c; / 2 Kontrola skonstruowania zamknięciem meta-meta-argumenty orzeczników
.
• Dodano wsparcie dla kompilacji Wolny / Goal połączeń wyrażenia lambda (poprzez automatyczne generowanie dodatkowego predykatu ilekroć jest to możliwe).
• Dodano compile_aux_clauses / 1 metody publiczne, na podstawie orzecznika o tej samej nazwie w SWI-Prologu do wbudowanego obiektu & quot; & quot ;. logtalk Ta metoda nazywa się zwykle od goal_expansion / 2 haczyki w celu zestawienia klauzul pomocniczych wygenerowane za wspieranie rozszerzoną cel.
• Dodano meta-orzecznik ignorowanie / 1, realizowane przez niektóre kompilatory prologowych jak wbudowany orzecznika, jako Logtalk wbudowanej metody.
• Zaktualizowany plik konfiguracyjny SWI-Prolog w celu uniemożliwienia automatycznego ładowania bibliotek podczas odpytywania właściwości modułu bazowego od Logtalk.
• Aktualizacja Qu-Prolog SICStus Prolog oraz pliki konfiguracyjne XSB w celu udostępnienia orzecznik term_variables / 2 jako ISO wbudowanym orzecznika.
• Aktualizacja skrypty integracyjne Qu-Prolog w celu podwojenia wartości wielkości sterty za skompletowanie Logtalk kompilator / runtime, rozwiązywania awarii startowego.
• przywrócił MacOS X polecenia Plik GNU Prolog (przeniósł się z & quot; scripts / MacOSX / command_files / nieobsługiwanym & quot; folderze).
• Dodane predykatów findall_member / 4-5 do obiektu & quot bibliotece; meta & quot; (Na podstawie projektu Prolog wniosku biblioteki Richarda O'Keefe za). Usunięto deklaracji i definicji orzeczników płatnych na żądanie / 1 i ignorować / 1 od podmiotów & quot bibliotece; METAP & quot; i & quot; meta & quot; (Wpłacone / 1 jest wbudowany predykat we wszystkich obsługiwanych kompilatorów Prolog; ignorowanie / 1 jest obecnie Logtalk wbudowanej metody)
.
• Dodano obiekt biblioteki, & quot; & quot ;, meta_compiler który może być używany jako obiekt haka rozszerzenia połączeń do meta-orzeczników zdefiniowanych w obiekcie & quot bibliotece; meta & quot; W celu uniknięcia kosztów ogólnych meta połączeń. Na tych przypadkach, w których nie mogą być zoptymalizowane połączenie meta-orzecznik, definicja domyślnej na & quot; meta & quot; stosuje się obiekt. Korzystanie konstrukty kontrolne meta argumentów nie jest (jeszcze) obsługiwane. Prace w toku.
• Dodano protokół, & quot; & quot ;, loggingp i kategorii obiektu i wdrożeń, & quot; rejestrowanie & quot; i & quot;. & quot ;, rejestrator deklarując i definiując podstawowe funkcje do rejestrowania zdarzeń do plików do biblioteki
• Dodano protokół, & quot; intervalp & quot ;, i obiekt, & quot; interwał & quot ;, deklarowania i zdefiniowanie podstawowych doczesnych stosunków interwałowych do biblioteki (na podstawie prac James F. Allen Interval Algebry)
.
• Dodano kategorię realizacji nazwanych liczniki Integer, & quot;. & Quot ;, liczniki do biblioteki
• Dodano predykaty proper_prefix / 2 i proper_suffix / 2 podmioty Library & quot; & quot ;, listp & quot; & quot ;, listy i & quot; difflist & quot;.
• Dodano orzecznik transpozycji / 2 do obiektu bibliotecznego & quot; par & quot;.
• Dodano dwa pseudo-przykłady dla celów testowych, & quot; lambdas_compiled & quot; i & quot; & quot ;, metapredicates_compiled które sprawiają, że korzystanie z nowego obiektu biblioteki
• & quot; meta_compiler & quot;.
• Aktualizacja & quot; ekspansję & quot; Przykład W celu zilustrowania sposobu definiowania i łączenie przedmiotów haka.
• Dodano wsparcie dla korzystania z pakietu SyntaxHighlighter (wersja 3.0.83 lub nowsza) Alex Gorbaczowa z kodem źródłowym Logtalk.
• Dodano brakujący kolorowanie składni z else / 0 warunkowego dyrektywy kompilacji wsparciu GNU Source-podkreślenia.
• Dodano notatkę na wsparcie edycji tekstu Logtalk dostępne na darmowy edytor tekstu MacOS X Kod.
• Dodano wsparcie kolorowanie składni dla nowego ignorowanie / 1 wbudowanej metody do wszystkich obsługiwanych edytorów tekstowych i wyróżnień składni.

Co nowego w wersji 2.42.1:

• Dodano wsparcie dla kompilatora Logtalk do wykrywania i raportowania brakuje dynamicznych dyrektyw / 1 i nie sąsiadujące ze sobą / 1 predykatów.
• Dodano nową flagę strzępkami & quot; & quot ;, missing_directives z domyślnej wartości & quot; & quot ;, ostrzeżenie do wszystkich plików konfiguracyjnych. Flaga ta umożliwia drukowanie ostrzeżeń kompilatora dla brakujących dynamicznych / 1, nie sąsiadujące ze sobą / 1 i multifile / 1 predykatywne dyrektyw.
• Dodano wsparcie dla nowych wskaźników trybu szablonu meta-orzecznik: (/) dla wskaźnika bazowego, [/] dla listy wskaźników bazowych, a [0] dla listy celów
.
• Poprawiono błąd w kompilatorze Logtalk podczas sprawdzania meta-predykatywne głowy klauzul za błędy gdzie & quot; :: & quot; Wskaźnik trybu meta-argument wciąż interpretowane jako & quot; 0 & quot;.
• Poprawiono błąd w obsłudze zamknięcia (w meta-rozmów), które wykorzystywane są do budowy połączenia do kontroli konstrukcji lub wbudowane predykaty, które mogłyby doprowadzić do wywoływania niektórych meta-argumenty w złym kontekście. Dzięki Ulrich Neumerkel dla ilustrujący przykład w liście dyskusyjnej SWI-Prolog.
• Zaktualizowany kompilator Logtalk w celu uniknięcia ostrzeżeń drukowania o brak odniesień do & quot; & quot rozszerzającym; i & quot; monitorowanie & quot; wbudowane protokoły podczas kompilacji modułów jako obiekty.
• Przywrócono zmian w wersji 2.39.2, które pozwoliły na pseudo-Object & quot; użytkownika & quot; praktycznie zawiera definicję wszystkich prologowych wbudowanych predykatów. Może to prowadzić do różnych wyników w zależności od typu back-end Prolog kompilatora, szczególnie podczas wywoływania meta-orzeczników w ramach & quot; użytkownik & quot;.
• Poprawiono błąd w SWI-Prolog & quot; swihooks.lgt & quot; Plik, który spowodowało fałszywego komunikatu o błędzie o nieprawidłowym Logtalk flagą podczas konsultacji plik Prolog gdy istnieje plik źródłowy Logtalk o tej samej nazwie w tym samym katalogu.
• Dodano brakujący wsparcie dla własnego wbudowanego meta-orzeczników do B-Prolog, SICStus Prolog SWI-Prolog, XSB i plików YAP config.
• Aktualizacja SICStus Prolog SWI-Prolog i pliki konfiguracyjne YAP Aby zmieniać szablony meta-orzecznik na konsultację / 1 i load_files / 2 wbudowane predykaty.
• Dodano wdrożenie map_reduce / 5 meta-orzecznika do obiektu bibliotecznego & quot; meta & quot;.
• Dodano wdrożenie command_line_arguments / 1 orzecznik do & quot; cc & quot; przykład.
• Aktualizacja & quot; lambdas & quot; i & quot; metapredicates & quot; przykłady, ilustrujące sposób obliczania liczby Fibonacciego za pomocą krotny lewy meta-orzecznik. Zaktualizowany & quot; metapredicates & quot; Przykładem na przykładzie korzystania z map_reduce / 5 meta-orzecznika.
• Aktualizacja & quot; problog & quot; Przykładem, dodając wstępne wsparcie dla nowej składni adnotacją zachwianiu.
• Dodano & quot; magię & quot; Element do pliku typu MIME Logtalk dla freedesktop.org wspólne mime-info bazy danych.

Co nowego w wersji 2.42.0.

• Dodano wdrażania trwałych flagi obiektów
• Dodano nową parę wbudowanych predykatów, conforms_to_protocol / 2-3, wdrożenie przechodni zamknięcie względem implementacji protokołu.
• Dodano dyrektywę eksperymentalną, adnotacji / 1, na rzecz integracji Logtalk z innymi językami, takimi jak ProbLog i CHR.