X-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.