SWI-Prolog

To przydatnych celów programowania logiki, sztucznej inteligencji i lingwistyki

Co nowego w tym wydaniu:.

• Nowy typ dict i składnia zapewnia zarówno mapy czasie i przestrzeni efektywne nazwa-wartość z przyjemnym składni.
• W związku z tym, trzeba było wymienić konstruktora listy (H, T) przez (także w użytku przez Merkurego) "[|]". (H, T). To może wydawać się drastyczne, ale w praktyce dotyczy tylko kilka programów, zwłaszcza ten funktor (Term, K, A), na listach, a następnie wybierając dalszego przetwarzania na F == '.', A == 2. Aby włączyć list bardziej do Specjalna konstrukcja, [] jest nadal pusta lista, ale nie jest już takie samo jak "[]", czyli [] nie jest w atomie.
• Składnia & quot; ... & quot; Teraz jest odwzorowany na łańcuchy. Struny są zgodne z Eclipse (dzięki Joachim Schimpf dla wszystkich dyskusji). Tradycyjne listy kodowej są konstruowane przy użyciu .... flagi double_quotes i back_quotes kontrolowania tego zachowania.
• Dzięki Torbjorna Lager, mamy & quot; & quot ;, Pengines silniki Prolog w sieci. To zapewnia ogólny API rozmawiać wygodnie na serwerze Prolog z JavaScript i innych przypadkach Prolog. Umożliwiło świst, SWI-Prolog w swojej przeglądarce (http://swish.swi-prolog.org), jak również http://lpn.swi-prolog.org (Dowiedz się Prolog teraz! Z wbudowanym świst).
• Markus Triska dodany CLP (b), logiczną ograniczający solver, poprawił swój CLP (FD) i był przed kilku ulepszeniach w Toplevel czynienia z ograniczeniami.
• Dzięki Matt Lilley i Mike Eltona, jest CQL, DSL (Domain Specific Language) do czynienia z SQL. CQL rozwija się w środowisku, w którym złożone bazy danych SQL są normą, a tym samym wspiera duży podzbiór SQL i może poradzić sobie z tabel z tysięcy kolumn i innych rzeczy, że ocasional użytkownik SQL nie będzie spodziewać.
• Matt Lilley znacznej poprawie sieci wsparcia, w tym o wiele lepsze wsparcie dla SSL i ogólnego wsparcia dla obu HTTP i skarpetki serwerów proxy.
• Wiele osób pod warunkiem dodatki (kaczki), które polegają na SWI-Prolog wersji 7.

Co nowego w wersji 7.2.1 / 7.3.3-dev:

• Nowy typ dict i składni zapewnia zarówno mapy czasie i przestrzeni efektywne nazwa-wartość z przyjemnym składni.
• W związku z tym, trzeba było wymienić konstruktora listy (H, T) przez (także w użytku przez Merkurego) "[|]". (H, T). To może wydawać się drastyczne, ale w praktyce dotyczy tylko kilka programów, zwłaszcza ten funktor (Term, K, A), na listach, a następnie wybierając dalszego przetwarzania na F == '.', A == 2. Aby włączyć list bardziej do Specjalna konstrukcja, [] jest nadal pusta lista, ale nie jest już takie samo jak "[]", czyli [] nie jest w atomie.
• Składnia & quot; ... & quot; Teraz jest odwzorowany na łańcuchy. Struny są zgodne z Eclipse (dzięki Joachim Schimpf dla wszystkich dyskusji). Tradycyjne listy kodowej są konstruowane przy użyciu .... flagi double_quotes i back_quotes kontrolowania tego zachowania.
• Dzięki Torbjorna Lager, mamy & quot; & quot ;, Pengines silniki Prolog w sieci. To zapewnia ogólny API rozmawiać wygodnie na serwerze Prolog z JavaScript i innych przypadkach Prolog. Umożliwiło świst, SWI-Prolog w swojej przeglądarce (http://swish.swi-prolog.org), jak również http://lpn.swi-prolog.org (Dowiedz się Prolog teraz! Z wbudowanym świst).
• Markus Triska dodany CLP (b), logiczną ograniczający solver, poprawił swój CLP (FD) i był przed kilku ulepszeniach w Toplevel czynienia z ograniczeniami.
• Dzięki Matt Lilley i Mike Eltona, jest CQL, DSL (Domain Specific Language) do czynienia z SQL. CQL rozwija się w środowisku, w którym złożone bazy danych SQL są normą, a tym samym wspiera duży podzbiór SQL i może poradzić sobie z tabel z tysięcy kolumn i innych rzeczy, że ocasional użytkownik SQL nie będzie spodziewać.
• Matt Lilley znacznej poprawie sieci wsparcia, w tym o wiele lepsze wsparcie dla SSL i ogólnego wsparcia dla obu HTTP i skarpetki serwerów proxy.
• Wiele osób pod warunkiem dodatki (kaczki), które polegają na SWI-Prolog wersji 7.

Co nowego w wersji 7.2.0 / 7.3.1-dev:

• Nowy typ dict i składni zapewnia zarówno mapy czasie i przestrzeni efektywne nazwa-wartość z przyjemnym składni.
• W związku z tym, trzeba było wymienić konstruktora listy (H, T) przez (także w użytku przez Merkurego) "[|]". (H, T). To może wydawać się drastyczne, ale w praktyce dotyczy tylko kilka programów, zwłaszcza ten funktor (Term, K, A), na listach, a następnie wybierając dalszego przetwarzania na F == '.', A == 2. Aby włączyć list bardziej do Specjalna konstrukcja, [] jest nadal pusta lista, ale nie jest już takie samo jak "[]", czyli [] nie jest w atomie.
• Składnia & quot; ... & quot; Teraz jest odwzorowany na łańcuchy. Struny są zgodne z Eclipse (dzięki Joachim Schimpf dla wszystkich dyskusji). Tradycyjne listy kodowej są konstruowane przy użyciu .... flagi double_quotes i back_quotes kontrolowania tego zachowania.
• Dzięki Torbjorna Lager, mamy & quot; & quot ;, Pengines silniki Prolog w sieci. To zapewnia ogólny API rozmawiać wygodnie na serwerze Prolog z JavaScript i innych przypadkach Prolog. Umożliwiło świst, SWI-Prolog w swojej przeglądarce (http://swish.swi-prolog.org), jak również http://lpn.swi-prolog.org (Dowiedz się Prolog teraz! Z wbudowanym świst).
• Markus Triska dodany CLP (b), logiczną ograniczający solver, poprawił swój CLP (FD) i był przed kilku ulepszeniach w Toplevel czynienia z ograniczeniami.
• Dzięki Matt Lilley i Mike Eltona, jest CQL, DSL (Domain Specific Language) do czynienia z SQL. CQL rozwija się w środowisku, w którym złożone bazy danych SQL są normą, a tym samym wspiera duży podzbiór SQL i może poradzić sobie z tabel z tysięcy kolumn i innych rzeczy, że ocasional użytkownik SQL nie będzie spodziewać.
• Matt Lilley znacznej poprawie sieci wsparcia, w tym o wiele lepsze wsparcie dla SSL i ogólnego wsparcia dla obu HTTP i skarpetki serwerów proxy.
• Wiele osób pod warunkiem dodatki (kaczki), które polegają na SWI-Prolog wersji 7.

Co nowego w wersji 6.6.6 / 01.7.37:

• Przetwórstwo # !, wiążące plik do tłumacza w Uniksie nie stara się być inteligentnym o opcji przetwarzania dla tłumacza. Wpływ tej zmiany zależy od wersji systemu Unix. Niektóre tylko przejść pierwszą opcję, inni spakować wszystkie opcje w jednym i jeszcze inni przechodzą opcje po ich łamanie,
• Prolog flagi argv zapewnia jedynie argumenty, które nie zostały zrealizowane przez Prolog.
• Plik startowych .plrc (pl.ini Windows) nie jest już poszukiwany w katalogu roboczym ze względów bezpieczeństwa.

Co nowego w wersji 6.6.6 / 1.7.31:

• Przetwórstwo # !, wiążące plik do tłumacza w Uniksie nie stara się być inteligentnym o opcji przetwarzania dla tłumacza. Wpływ tej zmiany zależy od wersji systemu Unix. Niektóre tylko przejść pierwszą opcję, inni spakować wszystkie opcje w jednym i jeszcze inni przechodzą opcje po ich łamanie,
• Prolog flagi argv zapewnia jedynie argumenty, które nie zostały zrealizowane przez Prolog.
• Plik startowych .plrc (pl.ini Windows) nie jest już poszukiwany w katalogu roboczym ze względów bezpieczeństwa.

Co jest nowa w wersji 6.4.0:

• Aktualizacja biblioteki RDF do wersji 3. Każdy, dbając o RDF została już prawdopodobnie za pomocą wersji rozwojowej z tego powodu. Dodano szybki parser dla ntriples, formaty Turtle i trygonometrii.
• Wprowadzenie quasi notowania dla sprawnego i bezpiecznego włączenia zewnętrznych fragmentów językowych
• Modernizacja PlDoc zaakceptować konstrukcje wspólne przecen.
• Wiele ulepszenia narzędzi programistycznych, bibliotek HTTP, pakietu clib. itp Lepsze wsparcie dla procesów demonów, syslog Unix (UID / zarządzania GID, itp.)
• start dla obsługi ustawień regionalnych (wsparcie formatu / 3, w szczególności w formie pisemnej locale konkretne duże liczby całkowite.
• Wiele stabilności rzeczy. stałych awarii, przenośność łat, budować ulepszenia systemu, itp

Co nowego w wersji 6.2.0:

• Wstępna wersja pakietu '`menedżera pakietów
• Lepsza obsługa plik źródłowy, zwłaszcza wrt. : - Obejmują (Plik),
.
• Wiele poprawek do debuggera, poprawiające obsługę źródłowy i logiki, który decyduje się na które porty są ukryte.
• Wersja dla Windows teraz budować za pomocą kompilatora MinGW projekt, w wyniku czego 10-20% SpeedUp. Udoskonalenia swipl-win.exe konsoli:. Kopiuj / wklej i wsparcie kolorów

Co nowego w wersji 6.0.0:

• Dynamiczne indeksowanie tylko na czas na wielu argumentów .
• Abstracted wielu API rozwoju, wspieranie IDE PDT.
• Wiele czyszczenia, poprawki błędów, itp.

Co nowego w wersji 5.11.20:.

• Zmniejszone zużycie szlak-stack
• pokoleń zbieranie śmieci.

Co nowego w wersji 5.11.10:

• Zmniejszenie zużycia szlak-stack. (częściowo),
• pokoleń zbieranie śmieci.

Co nowego w wersji 5.11.9:

• Zmniejszenie zużycia szlak-stack. (częściowo),
• pokoleń zbieranie śmieci.

Co nowego w wersji 5.10.0:

• Wszystkie platformy używać teraz spójnego nazewnictwa. SWI-Prolog wykonywalny nazywa swipl łącznik swipl-ld i kierownik resouce plik swipl-rc.
• Nowy stos zarządzanie pamięcią, która jest oparta na stosie zamiast przesunięcia alokacji stosy słabo w wirtualnej przestrzeni adresowej. Zmiana ta pozwala na znacznie lepszej skalowalności liczby wątków, więc możemy również usunąć starą granicę thread count 100. stosu terminy mogą być teraz podniesiona i zmniejszona w czasie wykonywania przy użyciu set_prolog_stack / 2.
• Domyślny stosu limity wielkości są teraz 128MB na rząd na 32-bit i 256 MB w 64-bitowym sprzętem.
• Szerokie szczelności i stress-testy mają stałą liczbę wycieków i warunkach wyścigu, dzięki czemu system znacznie bardziej dynamiczny w konfiguracji serwera 24x7.
• Podjęto już działania, aby uniknąć za pomocą C-stack na recursing w kategoriach. Pozwala to na przetwarzanie znacznie głębiej zagnieżdżone warunki i zapewnia czysty wyjątek, jeśli nie ma wystarczających środków, aby przechodzić termin. Jest jeszcze wiele do zrobienia w tej dziedzinie.
• SWI-Prolog 5.10.0 wprowadza bezpiecznych warunkach odniesienia do bazy danych (assertz / 2, Recordz / 3) i strumieni (otwórz / 3).
• liczba zmiennych w punktach jest teraz ograniczona do 1,000,000,000; to było 65535. Ponadto, system zapewnia pełne wdzięku wyjątki, kiedy napotykają zasobów błędy lub próbuje dochodzić terminów takich jak nielegalne warunkach cyklicznych.
• Kompatybilność zarówno YAP i SICStus jest zwiększona.

Co nowego w wersji 5.8.2:

• Czyszczenie: realizacji i dokumentacji interfejsu sygnału.
• FIXED:. Wykorzystanie --nopce / - szt za (DIS), dzięki czemu grafika
• FIXED: GC-bug; pominąć usuwanie uwrite-bit ze stosu argumentu
• modyfikowany: Usunięto prolog flagi abort_with_exception; to już nie jest używany.
• FIXED: Unikać impasu, starając się wyjść po fatalnym błędzie
.
• modyfikowany: is_set / 1 stosuje teraz sortowania / 2. W rezultacie, zmienne niewspólną są uważane różnych elementów; kolejność jest N * log (N) i orzecznik może zwrócić zasobów błąd.
• FIXED: Po: -.. modułu (X), należy wykonać celem-rozszerzeń w stosunku do modułu X
• Czyszczenie: Pozycja # 547:. Prawidłowo zacytować niezdefiniowane predykatów i alternatywy,
• DOC: Wyjaśnij current_arithmetic_function / 1
.
• DOC: Zapewnienie dostępności snippit do C-funkcji,
• FIXED: Poprzedni uproszczenie uszkodzony zmiennej admina kompilatora. Dodano także test-case.
• Naprawiono: robak # 436: ujednolicenie zmienną ze sobą tworzy pętlę odniesienia
.

Co jest nowa w wersji 5.7.14:

• FIXED: krzyż dereferencji wyróżnić: od 0 w deklaracjach meta-źródłowych
• Czyszczenie: Wykorzystanie meta_predicate dla predsort / 3
• modyfikowany: Marka / 0 teraz skanuje tylko dla odniesienia do niezdefiniowanych orzeczników w modułach, które je zawierają. List_undefined / 0 wciąż szuka na całym świecie.
• WZMOCNIONA: CLP (FD). Arc-spójne global_cardinality / 2, jeśli pary są początkowo ziemi
• FIXED: Uchwyt (multifile) predykatów, dla których niektóre klauzule mają swoje ciało w innym module, a niektóre w taki sam. Matt Lilley.
• Dodano:% [& # x3c; n & # x3e;] Format f format_time / 3 do czynienia z ułamkach sekund. Używane przez nowych rozszerzeń debugowania.
• Dodano: debug_message_context (+ | -Context), aby określić dodatkowe warunki dla informacji diagnostycznych (takich jak czas i data)
.
• STAŁE: Sprawdź apply_macros zrobić ekspansję cel w kontekście modułu systemu
• WZMOCNIONA: CLP (FD): Szybsze global_cardinality / 2, jeśli par klucz-Num są mielone,
.
• FIXED: uchwyt operatora priorytecie w druku odpowiedzi. Markus Triska.
• WZMOCNIONA: Korzystanie z opcji drukowania dla resztkowych najwyższy stopień celów, realizacja porządki
• WZMOCNIONA: Sprawdź term_variables i term_attvars skuteczne, jeśli lista jest podana (w szczególności term_attvars (Term, []))
.
• WZMOCNIONA: Sprawdź nagrany bazy danych używać nowego kodu Termin-walker,
• WZMOCNIONA: Pierwsza konfiguracja szkieletu na przejeżdżające warunki korzystania z prostą pętlę, a nie procedurę rekurencyjną. Teraz w użyciu dla term_variables / 2 i pokrewnych orzeczników. Schemat wydaje się odpowiednie, ale segmenty kodu stosu musi być znacznie zoptymalizowany. Jak to jest, term_variables / 2 jest nieco wolniejszy (5%), ale może obsłużyć warunki głęboko zagnieżdżone o wiele mniej pamięci i bez przepełnienia stosu.
• Dodano: term_attvars / 2 dla lepszego wsparcia copy_term / 3. Po dyskusji z Markus Triska.
• Dodano: del_attrs / 1, aby usunąć * wszystkich * atrybuty. Upraszcza copy_term / 3.

Co nowego w wersji 5.7.12:

• Poprawa wydajności w większych programów jest pomiędzy 10 a 40 % w zależności od stylu programowania. Warto zauważyć, że rozwiązują ograniczające zysk znacznie. Małe programy pokazują, czasem znacznie większe speedups.
• Ponieważ 5.7.4, aktualizacja systemu Moduł
• Wiele porządki w nazywania i modułowości w kodzie.