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ść.