INTERFEJ SYSTEMU MIZAR-4

INTERFEJ SYSTEMU MIZAR-4
Ogólne uwagi
MIZAR-4 został wprowadzony w Ŝycie w 1986 r. jako nowy projekt implementacji systemu
MIZAR wywodzący się z systemu MIZAR-2, ale wykorzystano takŜe wszystkie poprzednie
wersje.
W skład grupy dokonującej implementacji wchodzili:
Czesław Byliński, Marcin Mostowski, Andrzej Trybulec, Edmund Woronowicz,
Anna Zalewska i Stanisław śukowski.
Pojawienie się systemu jest anegdotyczne: kiedy siedem problemów z operowaniem pamięcią
zredukowano w systemie MIZAR do czterech, narodził się MIZAR-4, a wtedy ze starych
systemów operacyjnych i komputerów produkcji radzieckiej, pod koniec 1986 r. został
dostosowany do komputerów typu IBM PC.
MIZAR-4 był równieŜ doświadczalnym systemem, który został wystawiony na intensywną
ewolucję. Między innymi eksperymentowano w zastosowaniach dydaktycznych. Proste
określanie środowiska programistycznego (environ) oraz moŜliwość elastycznego wpływania
na definiowanie schematów wnioskowania przez wiele lat umoŜliwiała dostosowywanie
programowania w języku MIZAR do potrzeb dydaktycznych. Po rozszerzeniu zbioru znaków
ASCII dla DOS-ów w 2001r. niesłusznie zrezygnowano z uŜywania MIZARA-4 .
Prezentowana przez nas wersja interfejsu
dla systemu MIZAR-4 umoŜliwia, w
wyznaczonych granicach, korzystanie z tego systemu w dowolnych systemach operacyjnych
typu Windows. Interfejs automatycznie steruje za pomocą odpowiednich komend DOS-a
przesyłaniem danych pomiędzy plikami Systemu MIZAR-4. Ze względu na to, Ŝe w dość
prosty sposób bezawaryjność takiego sterowania otrzymujemy tworząc interfejs w języku
Turbo Prolog 2.0, został on opracowany w tym języku.
Instalacja
Plik instalacyjny systemu MIZAR-4 rozpakowujemy w dowolnym miejscu twardego dysku
swojego komputera lub dysku wymiennego (dyskietka, PenDrive, ScanDisk itp.), a pracując
w sieci, ze względu na ograniczenia w przesyłaniu danych, zapisujemy go w katalogu „moje
dokumenty”. Po rozpakowaniu pliku instalacyjnego pojawia się folder MIZAR-4, zawierający
plik MIZAR-4 z rozszerzeniem BAT oraz katalog MIZ. Interfejs systemu MIZAR-4
uruchamiamy klikając na ikonę MIZAR-4.
Zaprezentujemy teraz podstawowe okna interfejsu systemu MIZAR-4:
Okno główne
Okno udostępnia następujące menu:
Otwórz projekt – wczytanie pliku z rozszerzeniem ”miz”, zawierającego gotowy program w
języku systemu MIZAR4 projektu logicznego wywodu.
W folderze „MIZ” przeglądamy listę katalogów BIBLIOTEKI i posługując się klawiszami
strzałek ustawiamy kursor na wybranym katalogu
Otwieramy wybrany katalog i wybieramy w nim oszukiwany plik
Nowy projekt – wczytanie z katalogu „WORK” pliku WORK.MIZ i nadanie mu duŜymi
literami nazwy nowego projektu wywodu logicznego.
Testowanie – kompilacja napisanego programu.
Edycja lub poprawa – 1) wylistowanie wyniku kompilacji, pozwalające zapoznać się z
błędami zaznaczonymi symbolem „*” i numerem błędu , a następnie, po zamknięciu okna
listingu, poprawę lub rozbudowę pisanego programu, 2) redakcja programu.
Pojawia się listing kompilacji programu
Zapoznanie się z listingiem programu prowadzi do jego redakcji
Rezerwowanie symboli – tworzenie pliku z rozszerzeniem „DIC”, zawierającego ciąg
napisów rezerwujących wprowadzane symbole predykatów, symbole funkcji, symbole stałych
oraz symbole nawiasów.
Przykładowo deklaracja symboli moŜe mieć następującą postać
Listowanie wyniku testu logicznego.
prezentowanie tylko wyniku kompilacji programu wywodu
Wprowadzenie do systemu MIZAR-4 - otworzenie okna udostępniającego róŜne pliki
tekstowe zawierające informacje o systemie MIZAR-4.
Uwaga! Redakcja programu odbywa się za pomocą edytora „Notatnik”. W celu
równoczesnego przeglądania innych programów oraz kopiowania ich fragmentów, moŜna
uruchamiając niezaleŜnie za pomocą menu „Akcesoria” wymieniony edytor wczytać z
biblioteki programów znajdującej się w folderze MIZ odpowiedni plik zawierający potrzebną
do przetworzenia treść.