X-Prolog

X-Prolog to lekki system Prolog.

X-Prolog to lekki system Prolog przeznaczony do ułatwienia programowania w Prologu na Androidzie. Aplikacja uruchamia programy Prolog w widoku tekstowym, widoku internetowym lub jako usługa powiązana z aplikacją kliencką. Przykładowy klient dostępny jest pod adresem https://github.com/xprolog/sample-client.

Pamiętaj, że Google Play ogranicza korzystanie z uprawnień dostępu do wszystkich plików w aplikacjach przeznaczonych na Androida 11 lub nowszego. Aby zainstalować X-Prolog z uprawnieniami dostępu do wszystkich plików, odwiedź https://github.com/xprolog/xp/releases.

Masz narzędzie? Aplikacja zależy od zdefiniowanych przez użytkownika narzędzi do edycji i tworzenia projektów. Narzędzia są napisane w Prologu i są widoczne na urządzeniach z opcjami deweloperskimi. Aplikacja i narzędzia wymieniają dane poprzez przesyłanie zmiennych i formatowanie danych wyjściowych. Ta wersja zawiera trywialne narzędzia, które mają zademonstrować funkcję narzędziową aplikacji.

Aplikacja definiuje punkty rozszerzeń, w których dostępne są zmienne transferu (do narzędzi) i rozpoznawane są sformatowane dane wyjściowe (z narzędzi). Narzędzie można skonfigurować tak, aby współtworzyło jeden lub więcej punktów rozszerzenia poprzez określenie terminu kontekstu.

Termin kontekstowy jest terminem odczytywanym w postaci context(Name, FileTypes, Priority) , gdzie Name jest nazwą punktu rozszerzenia, FileTypes to lista dopuszczalnych typów plików, a Priority to liczba całkowita nie mniejsza niż zero, której znaczenie różni się w zależności od punktu rozszerzenia.

Ta wersja definiuje trzy punkty rozszerzeń: buduj, edytuj i uzgodnij, które umożliwiają narzędziom udział odpowiednio w budowaniu projektów, edytowaniu plików źródłowych i uzgadnianiu modeli źródłowych.

Aby zbudować projekt, otwórz plik w górnym katalogu projektu i kliknij Buduj. Aby wyeksportować projekt do uruchamialnego pliku obiektowego w lokalnym systemie plików, kliknij Eksportuj. Aby uruchomić plik obiektowy, kliknij Uruchom.

Plik jest uważany za plik źródłowy, jeśli istnieje co najmniej jedno narzędzie, które tworzy plik, prawdopodobnie przekształcając go w inny plik źródłowy. Ta wersja zawiera pojedyncze narzędzie do budowania, Kompiluj, które tłumaczy plik źródłowy Prologa (.pl) na plik szybkiego ładowania (.ql).

Znane problemy obejmują między innymi sprawdzanie, logiczny widok aktualizacji, przypisane zmienne.