Celem ćwiczenia jest zapoznanie się z podstawowymi możliwościami języka Prolog w zakresie definiowania faktów i reguł oraz wykonywania zapytań.
|
|
- Zdzisław Jarosz
- 8 lat temu
- Przeglądów:
Transkrypt
1 Paradygmaty Programowania Język Prolog Celem ćwiczenia jest zapoznanie się z podstawowymi możliwościami języka Prolog w zakresie definiowania faktów i reguł oraz wykonywania zapytań. Wstęp Prolog (od francuskiego Programmation en Logique) to język programowania logicznego - program w Prologu to opis reguły wnioskowania oraz celu do którego zmierzamy, a rola komputera polega na odpowiednim zastosowaniu reguł aby znaleźć rozwiązanie. Prolog został stworzony w 1971 roku przez Alaina Colmeraurera i Phillipe a Rousela. Używany w wielu programach z zakresu sztucznej inteligencji. Programowanie w Prologu bardzo różni się od programowania w językach algorytmicznych. W Prologu podaje się bazę faktów i reguł. Potem można wykonywać zapytania na tej bazie. Podstawową jednostką w Prologu jest predykat. Predykat składa się z nagłówka i argumentów, na przykład: ojciec(tomasz, agata). gdzie ojciec to nagłówek a tomasz i agata to argumenty. Predykat może zostać użyty do wyrażenia pewnych faktów o świecie, które są znane dla programu. W tym przypadku programista musi nadać im znaczenie. Jedną z interpretacji zdania ojciec(tomasz, agata) jest "tomasz to ojciec agaty". Jednak równie dobrze mogłoby to znaczyć "ojcem tomasza jest agata". Prolog nie ma pojęcia, co oznaczają te stwierdzenia. Wszystko co robi to manipulacja symbolami w oparciu o reguły. Dlatego można wybrać dowolny sposób zapisu tego, że "tomasz to ojciec agaty", pod warunkiem konsekwentnego przestrzegania kolejności argumentów w całym programie. Baza danych Prologu może też zawierać reguły. Przykład reguły to: jest(światło) :- włączony(przycisk). Zapis :- oznacza "wtedy, gdy" lub "jeśli". Ta reguła oznacza, że zdanie jest(światło) jest prawdziwe wtedy, gdy prawdziwe jest zdanie włączony(przycisk). Reguły mogą używać zmiennych. Zmienne zapisuje się zaczynając od wielkiej litery, dla odróżnienia od stałych, zaczynających się z małej. Na przykład: ojciec(x, Y) :- rodzic(x, Y), jest_rodzaju_męskiego(y). To oznacza: "dla każdych X i Y, jeśli rodzic(x,y) i jest_rodzaju_męskiego(y) to ojciec(x, Y). Przygotowanie środowiska języka Prolog
2 Środowisko języka Prolog dostępne jest w katalogu GNU-Prolog. Aby uruchomić program należy w katalogu bin uruchomić plik gprolog.exe. Ćwiczenie 1 Wprowadzenie prostych faktów. Utwórz katalog dla swoich celów, może to być również katalog Moje Dokumenty. Otwórz notatnik i zapisz plik jako zad1.pl. Następnie w programie GNU-Prolog należy zmienić katalog roboczy poprzez File/Change dir i ustawić ten wybrany wcześniej do naszych celów. Zadnie będzie polegać na wpisaniu kilku faktów. Ustalimy, że osoby Ala, Ola i Marta są kobietami. kobieta(ala). kobieta(ola). kobieta(marta). granagitarze(ola). To jest prosty program w Prologu. Należy zwrócić uwagę na wielkość liter. Wszystko piszemy rozpoczynając małą literą. Spróbujmy wykorzystać teraz tę bazę wiedzy. Zawartość pliku wczytujemy do Prologu poleceniem [zad1]. Jeżeli wszystko poszło dobrze, powinniśmy po wpisaniu komendy listing. Zobaczyć nasz program. Teraz możemy zadawać pytania do naszej bazy wiedzy. Np. pisząc?- kobieta(ola). sprawdzamy, czy Ola jest kobietą. Prolog odpowie nam Yes czyli tak. Stwierdziliśmy oczywisty fakt zapisany w bazie wiedzy. Podobnie możemy zapytać czy?- granagitarze(ola). Odpowiedź oczywiście brzmi tak. Proszę samodzielnie sprawdzić, czy: - na gitarze gra Ala, - Jacek jest kobietą. Ćwiczenie 2 Utwórz plik zad2.pl. szczesliwa(yolanda).
3 granagitarze(mia):-sluchamuzyki(mia). granagitarze(yolanda):-sluchamuzyki(yolanda). sluchamuzyki(mia). sluchamuzyki(yolanda):-szczesliwa(yolanda). Znajdują się tutaj dwa fakty: szczesliwa(yolanda) i sluchamuzyki(mia). Oraz trzy reguły. Reguła charakteryzuje się tym, że znajduje się znacznik :- oznaczający jeżeli. Reguła: sluchamuzyki(yolanda):-szczesliwa(yolanda). oznacza, że yolanda słucha muzyki, jeżeli jest szczęśliwa. Część przed :- nazywa się nagłówkiem, część za nazywa się ciałem. Jeżeli ciało jest prawdzie, wówczas nagłówek jest również prawdziwy. Zadajmy zapytanie:?- granagitarze(mia). Prolog odpowie yes, dlaczego? granagitarze(mia) nie jest faktem, ale wynika bezpośrednio z reguły granagitarze(mia):-sluchamuzyki(mia), a stwierdzenie sluchamuzyki(mia) jest faktem. Teraz zadajmy pytanie:?- granagitarze(yolanda). Prolog odpowie yes. Ten fakt Prolog wydedukował z dwóch reguł. Ponieważ yolanda jest szczęsliwa (szczesliwa(yolanda)) to zgodnie z regułą sluchamuzyki(yolanda):-szczesliwa(yolanda) słucha również muzyki. Ten wydedukowany z kolei fakt jest podstawą dla kolejnej reguły granagitarze(yolanda):-sluchamuzyki(yolanda). i stąd Prolog odpowiada na pytanie pozytywnie. Sprawdź, czy mia jest szczęśliwa. Ćwiczenie 3 Utwórz nowy plik zad3.pl. szczesliwy(wojciech). sluchamuzyki(bartek). granagitarze(wojciech):-sluchamuzyki(wojciech), szczesliwy(wojciech). granagitarze(bartek):-szczesliwy(bartek). granagitarze(bartek):-sluchamuzyki(bartek). Mamy tu dwa fakty szczesliwy(wojciech) i sluchamuzyki(bartek) oraz trzy reguły. Regułę granagitarze(wojciech):-sluchamuzyki (wojciech), szczesliwy (wojciech).
4 czytamy w ten sposób, że Wojciech gra na gitarze, jeżeli słucha muzyki i jest szczęśliwy. Czyli muszą być prawdziwe jednocześnie dwa stwierdzenie, które znajdują się za :-. Zadajmy pytanie?- granagitarze(wojciech). Odpowiedź to no. Dlaczego? Ponieważ fakty mówią, że Wojciech jest tylko szczęśliwy, a nie słucha muzyki. A czy Bartek gra na gitarze? Zadaj pytanie.?- granagitarze(bartek). Odpowiedz brzmi yes. Dlaczego? Ponieważ mamy dwie reguły mówiące kiedy Bartek gra na gitarze granagitarze(bartek):-szczesliwy(bartek). granagitarze(bartek):-sluchamuzyki(bartek). Wystarczy, że tylko jedna z nich jest prawdziwa, aby Bartek grał na gitarze. W naszym przypadku to druga z powyższych reguł, ponieważ sluchamuzyki(bartek). Inny zapis powyższych dwóch reguł to: granagitarze(bartek):-szczesliwy(bartek) ; sluchamuzyki(bartek). gdzie średnik oznacza LUB, czyli jeden z dwóch faktów ma być prawdziwy. W przypadku przecinka, obydwa fakty muszą być prawdziwe. Ćwiczenie 4 Utwórz nowy plik zad4.pl. kobieta(mia). kobieta(jody). kobieta(yolanda). kocha(vincent,mia). kocha(marcellus,mia). kocha(pumpkin,kroliczek). kocha(kroliczek,pumpkin). Mamy tu zbiór faktów. W ćwiczeniu tym zobaczymy jak działają zmienne. Napiszmy na przykład:?-kobieta(x). X jest zmienną (ważna jest tu wielkość liter. Do tej pory reguły i fakty pisane były małą literą, nazwę zmiennej piszemy zaczynając dużą literą. Powyższą linijkę można przeczytać jako: Powiedz jakie znasz kobiety. W odpowiedzi Prolog będzie pod X podstawiał kolejne znane mu kobiety. Rozpoczyna od mia X = mia?
5 Następnie można wymieniać resztę kobiet wpisując średnik (wymieniane są kolejno) bądź wszystkie naraz wciskając klawisz a. Teraz zapytajmy się: Czy jest jakaś osoba, która jest kobietą i którą kocha Marcellu? Zapytanie będzie wyglądać tak:?- kocha(marcellus, X), kobieta(x). Dla przypomnienia, przecinek oznacza logiczne AND, czyli i. Czyli muszą być spełnione dwie rzeczy osoba X musi być kobietą i jednocześnie kocha ją marcellus. Sprawdź, kto kocha mia? Kto kocha pumpkin? Ćwiczenie 5 W nowym pliku zad5.pl wpisz następujące fakty i regułę kocha(vincent,mia). kocha(marcellus,mia). kocha(pumpkin,kroliczek). kocha(kroliczek,pumpkin). zazdrosny(x,y):-kocha(x,z), kocha(y,z). Mamy tu 4 fakty i jedną regułę. W regule pojawiły się zmienne X, Y oraz Z. Dzięki tej regule możemy określić kto jest o kogo zazdrosny. Osoba X jest zazdrosna o osobę Y jeżeli osoba X kocha jakąś osobę Z i osoba Y kocha osobę Z. Przy czym osoba Z jest dowolną osobą. Zapytajmy, czy i o kogo jest zazdrosny marcellus?- zazdrosny(mercellus, W). W odpowiedzi dostaliśmy Vincenta oboje z Marcellusem kochają bowiem Mia. Czy ktoś jest zazdrosny o kroliczka? Potrafisz znaleźć wszystkie zazdrosne osoby? Zmodyfikuj regułę w następujący sposób: zazdrosny(x,y) :- kocha(x,z), kocha(y,z), X \== Y. Instrukcja X \== Y oznacza, że osoba X nie jest taka sama jak Y. Spróbuj teraz wczytać ponownie plik zad5 i teraz sprawdź wszystkich zazdrosnych. Ćwiczenie 6 Przedstaw w prologu następujące fakty i reguły - Mia i Marcellus są małżeństwem - Brutus jest żebrakiem
6 - jeżeli Brutus jest żebrakiem to Brutus jest biedny - jeżeli Brutus jest biedny to Brutus jest głodny - jakie zadać pytanie by sprawdzić, czy Brutus jest głodny? - Mia kocha każdego, kto jest dobrym tancerzem. - Julia lubi wszystko, co jest słodkie. Ćwiczenie 7 Przyjrzyj się poniższym faktom i regułom marozczke(harry). marozczke(ron). graczquidditcha(harry). czarodziej(x):-mamiotle(x), marozczke(x). mamiotle(sprzataczka). mamiotle(x):-graczquidditcha(x). Odpowiedz na pytania, sprawdź odpowiedzi uruchamiając program w Prologu. - czarodziej(ron). - czarodziej(harry). - czarodziej(sprzataczka). - czarodziejka(sprzataczka). - czarodziej(x). Ćwiczenie 8 Praktycznie zastosowanie programowania w Prologu. Ściągnij program zgadywanka.pl. Wgraj go do twojego katalogu roboczego. Uruchom program SWI-Prolog. Program ten uruchamiamy plwin.exe, który znajduje się w katalogu bin. Następnie wybierz File/Consult i wskaż na plik zgadywanka.pl. Program uruchamia się wykonując polecenie?- zacznij.
PROLOG. Prolog. Programowanie, W.F. Clocksin, C.S. Mellish, HELION Prolog, język sztucznej inteligencji, Eugeniusz Gatnar, Katarzyna Stąpor, Wyd.
PROLOG 1. Informacje wstępne Podczas zajęć korzystamy z darmowej wersji interpretera Prologu SWI-Prolog dostępnego ze strony: www.swi-prolog.org 2. Literatura i materiały Prolog. Programowanie, W.F. Clocksin,
Bardziej szczegółowoLaboratorium przedmiotu Paradygmaty Programowania
Laboratorium przedmiotu Paradygmaty Programowania Laboratorium 9 Prolog podstawy 1. Podstawy Prologu Programowanie w Prologu polega na deklarowaniu: Faktów dotyczących pewnych obiektów z analizowanego
Bardziej szczegółowoPODSTAWY SZTUCZNEJ INTELIGENCJI
Katedra Informatyki Stosowanej Politechnika Łódzka PODSTAWY SZTUCZNEJ INTELIGENCJI Laboratorium PROGRAMOWANIE SYSTEMÓW EKSPERTOWYCH Opracowanie: Dr hab. inŝ. Jacek Kucharski Dr inŝ. Piotr Urbanek Cel ćwiczenia
Bardziej szczegółowoProgramowanie w logice
Programowanie w logice PROLOG cz.1 PROLOG język wysokiego poziomu Powstał w 1972 na Uniwersytecie w Marsylii (Francja) w zespole A.Colmerauer a i F.Roussel a PROgrammation en LOGique, PROgramming in LOGic,
Bardziej szczegółowoWprowadzenie do Prologa
Wprowadzenie do Prologa Rozdział 1 Tutorial Introduction Maciej Gapiński Dominika Wałęga Spis treści 1. Podstawowe informacje 2. Obiekty i relacje 3. Reguły 4. Fakty 5. Zapytania 6. Zmienne i stałe Podstawowe
Bardziej szczegółowoznajdowały się różne instrukcje) to tak naprawdę definicja funkcji main.
Część XVI C++ Funkcje Jeśli nasz program rozrósł się już do kilkudziesięciu linijek, warto pomyśleć o jego podziale na mniejsze części. Poznajmy więc funkcje. Szybko się przekonamy, że funkcja to bardzo
Bardziej szczegółowoJava pierwszy program w Eclipse «Grzegorz Góralski strona własna
Strona 1 z 9 «Przykładowe zadania do cz. III ćwiczeń z genetyki Java pierwsze kroki w programowaniu (01)» Kategoria: java, Tagi: eclipse - java - programowanie. Autor: Grzegorz, napisał dnia: February
Bardziej szczegółowoProlog (Pro-Logic) Programowanie w Logice. Dr inż. Piotr Urbanek
Prolog (Pro-Logic) Programowanie w Logice Dr inż. Piotr Urbanek Do czego służy ProLog? Używany w wielu systemach informatycznych związanych z: logiką matematyczną (automatyczne dowodzenie twierdzeń); przetwarzaniem
Bardziej szczegółowoPo uruchomieniu programu nasza litera zostanie wyświetlona na ekranie
Część X C++ Typ znakowy służy do reprezentacji pojedynczych znaków ASCII, czyli liter, cyfr, znaków przestankowych i innych specjalnych znaków widocznych na naszej klawiaturze (oraz wielu innych, których
Bardziej szczegółowoProgramowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
Bardziej szczegółowoProgramowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
Bardziej szczegółowoNazwa implementacji: Nauka języka Python wyrażenia warunkowe. Autor: Piotr Fiorek. Opis implementacji: Poznanie wyrażeń warunkowych if elif - else.
Nazwa implementacji: Nauka języka Python wyrażenia warunkowe Autor: Piotr Fiorek Opis implementacji: Poznanie wyrażeń warunkowych if elif - else. Nasz kalkulator umie już liczyć, ale potrafi przeprowadzać
Bardziej szczegółowoMaple i wykresy. 1.1 Najpierw należy się zalogować. Jak to zrobić zostało opisane w moim poprzednim tutorialu.
Maple i wykresy 1 Program Maple 1.1 Najpierw należy się zalogować. Jak to zrobić zostało opisane w moim poprzednim tutorialu. 1.2 Uruchomienie programu Maple Uruchamiamy go, wpisując w konsoli maple, potwierdzając
Bardziej szczegółowoINTERFEJ 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
Bardziej szczegółowoPrzedrostkowa i przyrostkowa inkrementacja i dekrementacja
Część VIII C++ Przedrostkowa i przyrostkowa inkrementacja i dekrementacja W poprzednim ćwiczeniu operatory inkrementacji i dekrementacji występowały w wersji przyrostkowej. Istnieje inny sposób zapisu
Bardziej szczegółowoInstalacja programu Warsztat 3 w sieci
Instalacja programu Warsztat 3 w sieci (proszę uważnie przeczytać do końca) Spis treści 1 Przed instalacją...2 2 Przeprowadzanie po raz pierwszy instalacji sieciowej...3 2.1 Dane umieszczone na jednej
Bardziej szczegółowoZindywidualizowana praca z całà klasà Klasy I II C 2.3. List od Bartka WP122011. Specjalne potrzeby edukacyjne i rozwojowe
List od Bartka 6 C 2.3 Zindywidualizowana praca z całà klasà Klasy I II Kalambury kartki z hasłami jazda na rowerze gra na komputerze czytanie ksià ek moda słuchanie muzyki gra na gitarze taniec pływanie
Bardziej szczegółowoLekcja 8, 9 i 10. Konspekt lekcji Poczta elektroniczna. Materiał z podręcznika: Rozdział 5. Poczta elektroniczna
Lekcja 8, 9 i 10 Materiał z podręcznika: Rozdział 5. Poczta elektroniczna Konspekt lekcji Poczta elektroniczna Temat: Poczta elektroniczna Czas: 3x45 minut Uczeń powinien znać pojęcia: Uczeń powinien posiadać
Bardziej szczegółowoKl 7-8 Szkoła Podstawowa
Temat: Hello World! Hello Codey! Kl 7-8 Szkoła Podstawowa Przedmiot: informatyka Autor: Sylwester Zasoński Czas trwania: 1h lekcyjna Cele ogólne: Rozwijanie kompetencji miękkich (umiejętność pracy zespołowej,
Bardziej szczegółowo[WYSYŁANIE MAILI Z PROGRAMU EXCEL]
c 20140612- rev. 2 [WYSYŁANIE MAILI Z PROGRAMU EXCEL] ZAWARTOŚĆ Wstęp... 3 Funkcje w excelu... 4 Funkcja Hiperłącza... 7 Dodawanie odbiorców... 8 Uzupełnianie tytułu... 8 Wpisywanie treści... 8 Znane problemy...
Bardziej szczegółowoĆwiczenie numer 4 JESS PRZYKŁADOWY SYSTEM EKSPERTOWY.
Ćwiczenie numer 4 JESS PRZYKŁADOWY SYSTEM EKSPERTOWY. 1. Cel ćwiczenia Celem ćwiczenia jest zapoznanie się z przykładowym systemem ekspertowym napisanym w JESS. Studenci poznają strukturę systemu ekspertowego,
Bardziej szczegółowoMatematyczna wieża Babel. 4. Ograniczone maszyny Turinga o językach kontekstowych materiały do ćwiczeń
Matematyczna wieża Babel. 4. Ograniczone maszyny Turinga o językach kontekstowych materiały do ćwiczeń Projekt Matematyka dla ciekawych świata spisał: Michał Korch 4 kwietnia 2019 1 Dodajmy kontekst! Rozważaliśmy
Bardziej szczegółowoUruchamianie bazy PostgreSQL
Uruchamianie bazy PostgreSQL PostgreSQL i PostGIS Ten przewodnik może zostać pobrany jako PostgreSQL_pl.odt lub PostgreSQL_pl.pdf Przejrzano 10.09.2016 W tym rozdziale zobaczymy, jak uruchomić PostgreSQL
Bardziej szczegółowoInstalacja programu na systemie vista/win7/win8/win10. Instrukcja dotyczy instalacji wszystkich programów ( na przykładzie Helios ).
Instalacja programu na systemie vista/win7/win8/win10. Instrukcja dotyczy instalacji wszystkich programów ( na przykładzie Helios ). Program Helios pomoc społeczna pracuje zarówno na systemach 32 i 64
Bardziej szczegółowoPrezentacja do pobranie:
Prezentacja do pobranie: www.barkaf.cba.pl/prezentacja.rar 1 Prolog programowanie ROZDZIAŁ 1: WPROWADZENIE ROZDZIAŁ 2: PROLOG Z BLISKA NA PODSTAWIE: PROLOG. PROGRAMOWANIE- W. F. CLOCKSIN, C. S. MELLISH
Bardziej szczegółowoCelem tego projektu jest stworzenie
Prosty kalkulator Celem tego projektu jest stworzenie prostego kalkulatora, w którym użytkownik będzie podawał dwie liczby oraz działanie, które chce wykonać. Aplikacja będzie zwracała wynik tej operacji.
Bardziej szczegółowoInformatyka II. Laboratorium Aplikacja okienkowa
Informatyka II Laboratorium Aplikacja okienkowa Założenia Program będzie obliczał obwód oraz pole trójkąta na podstawie podanych zmiennych. Użytkownik będzie poproszony o podanie długości boków trójkąta.
Bardziej szczegółowoNarzędzia informatyczne w językoznawstwie
Narzędzia informatyczne w językoznawstwie Wiersz poleceń - Potoki i pliki wsadowe Marcin Junczys-Dowmunt junczys@amu.edu.pl Zakład Logiki Stosowanej http://www.logic.amu.edu.pl 22. października 2008 Marcin
Bardziej szczegółowoCwiczenie nr 1 Pierwszy program w języku C na mikrokontroler AVR
Cwiczenie nr 1 Pierwszy program w języku C na mikrokontroler AVR Zadanie polega na napisaniu pierwszego programu w języku C, jego poprawnej kompilacji i wgraniu na mikrokontroler. W tym celu należy zapoznać
Bardziej szczegółowo7. Pętle for. Przykłady
. Pętle for Przykłady.1. Bez użycia pętli while ani rekurencji, napisz program, który wypisze na ekran kolejne liczby naturalne od 0 do pewnego danego n. 5 int n; 6 cin >> n; 8 for (int i = 0; i
Bardziej szczegółowoĆwiczenie 1. Ćwiczenie 2. Ćwiczenie 3. Opisz działanie następujących komend systemowych : COPY EDIT FDISK FIND FORMAT XCOPY
Ćwiczenie 1 Opisz działanie następujących komend systemowych : COPY EDIT FDISK FIND FORMAT XCOPY Ćwiczenie 2 Na dysku d utworzyć drzewo katalogów (a) i zmienić katalog bieżący na przemysłowe (b) Ćwiczenie
Bardziej szczegółowoTemat 1. Więcej o opracowywaniu tekstu
Temat 1. Więcej o opracowywaniu tekstu Cele edukacyjne Celem tematu 1. jest uporządkowanie i rozszerzenie wiedzy uczniów na temat opracowywania dokumentów tekstowych (m.in. stosowania tabulatorów, spacji
Bardziej szczegółowoOk. Rozbijmy to na czynniki pierwsze, pomijając fragmenty, które już znamy:
Kurs C++ częśd II Podstawowa obsługa konsoli + zmienne. Autor: Dawid Chróścielski. Wprowadzanie i wyprowadzanie danych z/do konsoli. Jak wyprowadzad dane dowiedzieliśmy się już wcześniej (metoda cout z
Bardziej szczegółowoWskaźniki a tablice Wskaźniki i tablice są ze sobą w języku C++ ściśle związane. Aby się o tym przekonać wykonajmy cwiczenie.
Część XXII C++ w Wskaźniki a tablice Wskaźniki i tablice są ze sobą w języku C++ ściśle związane. Aby się o tym przekonać wykonajmy cwiczenie. Ćwiczenie 1 1. Utwórz nowy projekt w Dev C++ i zapisz go na
Bardziej szczegółowoPodstawy WINDOWS 9x, 2000, XP
- 1 - Podstawy Windows & Zarządzanie zasobami komputera opr.m r Osa Podstawy WINDOWS 9x, 2000, XP 1. System Windows składa się z następujących podstawowych elementów: ikona pulpit okno pasek zadań folder
Bardziej szczegółowoProgramowanie w logice Prolog 1
Programowanie w logice Prolog 1 Prolog - zastosowania Zastosowania: relacyjne bazy danych. przetwarzanie języka naturalnego. logistyka. analiza struktur biochemicznych. wspomaganie projektowania. sztuczna
Bardziej szczegółowoParadygmaty programowania
Paradygmaty programowania Jacek Michałowski, Piotr Latanowicz 15 kwietnia 2014 Jacek Michałowski, Piotr Latanowicz () Paradygmaty programowania 15 kwietnia 2014 1 / 12 Zadanie 1 Zadanie 1 Rachunek predykatów
Bardziej szczegółowoProgramowanie w logice
Wydział Matematyki UŁ 14 marca 2007 Plan prezentacji 1 Składnia Termy Stałe Zmienne Struktury 2 Własny operator Przeciążanie operatorów 3 Arytmetyczne i logiczne predykaty systemowe 4 Do zapamiętania Termy
Bardziej szczegółowoĆw. IV. Tworzenie stron internetowych. Podstawy projektowania, wprowadzenie do języka HTML
Ćw. IV. Tworzenie stron internetowych. Podstawy projektowania, wprowadzenie do języka HTML Zad.1 Zapoznaj się z poniŝszymi artykułami dotyczącymi projektowania stron WWW:. http://galeria.muzykaduszy.pl/zasady.php
Bardziej szczegółowoWprowadzenie do Sztucznej Inteligencji Laboratorium lista 0.1 Elementy języka Prolog: fakty i zapytania. Przemysław Kobylański
Wprowadzenie do Sztucznej Inteligencji Laboratorium lista 0.1 Elementy języka Prolog: fakty i zapytania Przemysław Kobylański Część I Wprowadzenie 1 Stałe i zmienne Jedynym dostępnym w języku Prolog rodzajem
Bardziej szczegółowoByć może jesteś doświadczonym programistą, biegle programujesz w Javie,
Kompendium PHP 01 Być może jesteś doświadczonym programistą, biegle programujesz w Javie, C++, Pythonie lub jakimś innym języku programowania, których jak myślę, powstało już tyle, że chyba nie ma osoby,
Bardziej szczegółowoPodstawy MATLABA, cd.
Akademia Górniczo-Hutnicza Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki Przetwarzanie Sygnałów Studia Podyplomowe, Automatyka i Robotyka Podstawy MATLABA, cd. 1. Wielomiany 1.1. Definiowanie
Bardziej szczegółowoProgramowanie obiektowe
Programowanie obiektowe Laboratorium 1. Wstęp do programowania w języku Java. Narzędzia 1. Aby móc tworzyć programy w języku Java, potrzebny jest zestaw narzędzi Java Development Kit, który można ściągnąć
Bardziej szczegółowoWindows XP Wiersz polecenia
Windows XP Wiersz polecenia, opracował Jan Biernat 1 z 7 Windows XP Wiersz polecenia DOS (ang. Disk Operating System) pierwszy przenośny (dyskowy) system operacyjny komputerów PC i mikrokomputerów lat
Bardziej szczegółowoWprowadzenie do Sztucznej Inteligencji Laboratorium lista 0.2 Elementy języka Prolog: reguły i rekurencja. Przemysław Kobylański
Wprowadzenie do Sztucznej Inteligencji Laboratorium lista 0.2 Elementy języka Prolog: reguły i rekurencja Przemysław Kobylański Część I Wprowadzenie 1 Reguły Przypomnijmy z poprzedniej listy zadań fakty
Bardziej szczegółowoEkran główny. Słowniczek ilustrowany. Wybór gier. Koniec programu
Wstęp Multimedialny program przeznaczony dla najmłodszych dzieci całkowicie początkujących dla których pierwsze kroki w języku obcym to proste słówka znane z codziennego życia. Część edukacyjna obejmuje
Bardziej szczegółowoUruchomienie nowego kontekstu aplikacji
Uruchomienie nowego kontekstu aplikacji Niniejsza instrukcja (przygotowana dla systemów Debian) dotyczy uruchomienia nowej aplikacji w sytuacji, gdy mamy już jedną działającą. Działanie takie trzeba wykonać
Bardziej szczegółowoDeklarowania faktów dotyczących obiektów i związków między nimi. Definiowania reguł dotyczących obiektów i związków między nimi.
Prolog Prolog Programowanie w Prologu składa się z: Deklarowania faktów dotyczących obiektów i związków między nimi. Definiowania reguł dotyczących obiektów i związków między nimi. Zadawania zapytao o
Bardziej szczegółowoTechnologie informacyjne lab. 4
Technologie informacyjne lab. 4 Cel ćwiczenia: Zapoznanie się z komunikacją ze zdalnym serwerem w sieci na przykładzie bezpiecznego serwera SSH. Wstępne zapoznanie się z ideą certyfikatów. Praca z edytorem
Bardziej szczegółowoPROLOG INNE PRZYKŁADY MACIEJ KELM
PROLOG INNE PRZYKŁADY MACIEJ KELM PREDYKAT RANDOM Funkcja random zwraca losową liczbę całkowitą w przedziale od 1 do X. Gdzie X jest parametrem funkcji random. Przed użyciem random należy zainicjować tak
Bardziej szczegółowoNazwa implementacji: Nauka języka Python pętla for. Autor: Piotr Fiorek
Nazwa implementacji: Nauka języka Python pętla for Autor: Piotr Fiorek Opis implementacji: Poznanie innego rodzaju pętli, jaką jest pętla for w języku Python. Składnia pętli for jest następująca: for
Bardziej szczegółowolekcja 8a Gry komputerowe MasterMind
lekcja 8a Gry komputerowe MasterMind Posiadamy już elementarną wiedzę w zakresie programowania. Pora więc zabrać się za rozwiązywanie problemów bardziej złożonych, które wymagają zastosowania typowych
Bardziej szczegółowoInstalacja i obsługa aplikacji MAC Diagnoza EW
Instalacja i obsługa aplikacji MAC Diagnoza EW Uruchom plik setup.exe Pojawi się okno instalacji programu MAC Diagnoza EW. Wybierz przycisk AKCEPTUJĘ. Następnie zainstaluj program, wybierając przycisk
Bardziej szczegółowoW przeciwnym wypadku wykonaj instrukcję z bloku drugiego. Ćwiczenie 1 utworzyć program dzielący przez siebie dwie liczby
Część XI C++ W folderze nazwisko36 program za każdym razem sprawdza oba warunki co niepotrzebnie obciąża procesor. Ten problem można rozwiązać stosując instrukcje if...else Instrukcja if wykonuje polecenie
Bardziej szczegółowoCzęść XII C++ Warunki zagnieżdżone Ćwiczenie 1 nazwisko40 2. nie przepisując komentarzy!
Część XII C++ Warunki zagnieżdżone Czasami zachodzi konieczność wykonania różnych instrukcji w zależności od spełnienia nie jednego, ale kilku warunków. To tak, jakbyśmy kupowali upominek - na początku
Bardziej szczegółowoJak napisać program obliczający pola powierzchni różnych figur płaskich?
Część IX C++ Jak napisać program obliczający pola powierzchni różnych figur płaskich? Na początku, przed stworzeniem właściwego kodu programu zaprojektujemy naszą aplikację i stworzymy schemat blokowy
Bardziej szczegółowoBrain Game. Wstęp. Scratch
Scratch 2 Brain Game Każdy Klub Kodowania musi być zarejestrowany. Zarejestrowane kluby można zobaczyć na mapie na stronie codeclubworld.org - jeżeli nie ma tam twojego klubu sprawdź na stronie jumpto.cc/18cplpy
Bardziej szczegółowoStatyczne i dynamiczne predykaty
Statyczne i dynamiczne predykaty Dynamiczne dowodzą lub odwołują pewne reguły, Statyczne nie potrafią tego co dynamiczne, ponieważ ich punkty zostały zebrane w całość, która działa szybciej, ale nie jest
Bardziej szczegółowoPętle. Dodał Administrator niedziela, 14 marzec :27
Pętlami nazywamy konstrukcje języka, które pozwalają na wielokrotne wykonywanie powtarzających się instrukcji. Przykładowo, jeśli trzeba 10 razy wyświetlić na ekranie pewien napis, to można wykorzystać
Bardziej szczegółowoProgram 14. #include <iostream> #include <ctime> using namespace std;
Program 14 Napisać: * funkcję słuŝącą do losowego wypełniania tablicy liczbami całkowitymi z podanego zakresu (*). Parametrami funkcji mają być tablica, jej długość oraz dwie liczby stanowiące krańce przedziału
Bardziej szczegółowoPodstawy pracy z edytorem tekstu. na przykładzie Open Office
Podstawy pracy z edytorem tekstu na przykładzie Open Office inż. Krzysztof Głaz krzysztof.glaz@gmail.com http://krzysztofglaz.eu.org Wprowadzenie Dokument ten został napisany jako pomoc dla osób, które
Bardziej szczegółowoJęzyki programowania deklaratywnego
Katedra Inżynierii Wiedzy laborki 1 e-mail: przemyslaw.juszczuk@ue.katowice.pl Konsultacje: na stronie katedry + na stronie domowej Pokój 202c budynek A pjuszczuk.pl Języki deklaratywne - laborki Wprowadzenie
Bardziej szczegółowoINSTRUKCJA INSTALACJI ORAZ UŻYTKOWANIA PROGRAMU FORMULARZ OFERTOWY
INSTRUKCJA INSTALACJI ORAZ UŻYTKOWANIA PROGRAMU FORMULARZ OFERTOWY Wstęp Niniejsza instrukcja skierowana jest do Wykonawców uczestniczących w postepowaniach na dostawy materiałów, wyrobów oraz części zamiennych
Bardziej szczegółowo/*W tym miejscu funkcja system wywołuje systemową komendę PAUSE tj.czeka tak długo, aż zostanie wciśnięty dowolny znak z
Języki i metodyka Programowania Zajęcia 1. 1. Spróbujmy uruchomić pierwszy program. Otwórzmy okno dosowe (polecenie cmd) i po przejściu do katalogu projektu uruchamiamy z linii poleceń nasz program wielokrotnie.
Bardziej szczegółowoWymagania edukacyjne z przedmiotu zajęcia komputerowe dla klasy VI
Wymagania edukacyjne z przedmiotu zajęcia komputerowe dla klasy VI Formy sprawdzania wiedzy i umiejętności ucznia 1. Odpowiedzi ustne z maksymalnie trzech ostatnich jednostek tematycznych (ocena zgodnie
Bardziej szczegółowoRozwiązywanie problemów z Javą
Rozwiązywanie problemów z Javą Jak zacząć? Instrukcja poprawnej konfiguracji środowiska Java Poradnik, z którym sobie poradzisz! Wersja 1.1 Spis treści 1. Wstęp.... 3 1.1 Jak sprawdzić, czy ja już posiadam
Bardziej szczegółowoZarządzanie projektami informatycznymi
Zarządzanie projektami informatycznymi Tworzenie repozytorium Repozytorium w programie git możemy stworzyć na dwa sposoby: git init albo git clone. git init git init inicjalizuje katalog jako repozytorium
Bardziej szczegółowoINFO-R. Instalacja programu na systemie Windows vista/win 7/win 8/win 10
INFO-R Instalacja programu na systemie Windows vista/win 7/win 8/win 10 Instrukcja dotyczy instalacji wszystkich programów (na przykładzie programu Helios) Program Helios pomoc społeczna pracuje zarówno
Bardziej szczegółowoMap Reduce Wprowadzenie do Apache Hadoop
Map Reduce Wprowadzenie do Apache Hadoop 8 maja 2014 Opis pliku z zadaniami Wszystkie zadania na zajęciach będą przekazywane w postaci plików PDF sformatowanych jak ten. Będą się na nie składały różne
Bardziej szczegółowoLiczby losowe i pętla while w języku Python
Liczby losowe i pętla while w języku Python Mateusz Miotk 17 stycznia 2017 Instytut Informatyki UG 1 Generowanie liczb losowych Na ogół programy są spójne i prowadzą do przewidywanych wyników. Czasem jednak
Bardziej szczegółowoNiezwykłe tablice Poznane typy danych pozwalają przechowywać pojedyncze liczby. Dzięki tablicom zgromadzimy wiele wartości w jednym miejscu.
Część XIX C++ w Każda poznana do tej pory zmienna może przechowywać jedną liczbę. Jeśli zaczniemy pisać bardziej rozbudowane programy, okaże się to niewystarczające. Warto więc poznać zmienne, które mogą
Bardziej szczegółowoWykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
Bardziej szczegółowofor (inicjacja_warunkow_poczatkowych; wyrazenie_warunkowe; wyrazenie_zwiekszajace) { blok instrukcji; }
Pętle Pętle (ang. loops), zwane też instrukcjami iteracyjnymi, stanowią podstawę prawie wszystkich algorytmów. Lwia część zadań wykonywanych przez programy komputerowe opiera się w całości lub częściowo
Bardziej szczegółowoScenariusz lekcji z Technologii informacyjnej w liceum profilowanym (profil ekonomiczno-administracyjny i usługowo-gospodarczy)
Autor: Halina Klimek, mgr ekonomii Zespół Szkół Ekonomicznych im. Jana Pawła II w Złotowie Scenariusz lekcji z Technologii informacyjnej w liceum profilowanym (profil ekonomiczno-administracyjny i usługowo-gospodarczy)
Bardziej szczegółowoWarsztat: Randomizacja w programie Excel
Warsztaty szkoleniowe z zakresu ewaluacji wpływu instrumentów Aktywnych Polityk Rynku Pracy Warsztat: Randomizacja w programie Excel Piotr Ćwiakowski Tomasz Gajderowicz, Kraków, 5 czerwca 2017 r. Przydział
Bardziej szczegółowoLogika stosowana. Ćwiczenia Programowanie w logice i PROLOG. Marcin Szczuka. Instytut Informatyki, Uniwersytet Warszawski
Logika stosowana Ćwiczenia Programowanie w logice i PROLOG Marcin Szczuka Instytut Informatyki, Uniwersytet Warszawski Wykład monograficzny w semestrze letnim 2018/2019 Marcin Szczuka (MIMUW) Logika stosowana
Bardziej szczegółowoPython jest interpreterem poleceń. Mamy dwie możliwości wydawania owych poleceń:
W pierwszym kroku nauczymy się uruchamiać w Pythonie tradycyjny* program ". Dzięki temu nauczysz się pisać w języku Python, a także zapisywać i uruchamiać swoje pythonowe programy. *Jest taka tradycja,
Bardziej szczegółowo5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.
Bardziej szczegółowoEdytor tekstu OpenOffice Writer Podstawy
Edytor tekstu OpenOffice Writer Podstawy OpenOffice to darmowy zaawansowany pakiet biurowy, w skład którego wchodzą następujące programy: edytor tekstu Writer, arkusz kalkulacyjny Calc, program do tworzenia
Bardziej szczegółowoPaństwowa Wyższa Szkoła Zawodowa w Gorzowie Wlkp. Laboratorium architektury komputerów
Państwowa Wyższa Szkoła Zawodowa w Gorzowie Wlkp. Laboratorium architektury komputerów Nr i temat ćwiczenia Nr albumu Grupa Rok S 3. Konfiguracja systemu Data wykonania ćwiczenia N Data oddania sprawozdania
Bardziej szczegółowoPLAN WYNIKOWY PROGRAMOWANIE APLIKACJI INTERNETOWYCH. KL IV TI 6 godziny tygodniowo (6x15 tygodni =90 godzin ),
PLAN WYNIKOWY PROGRAMOWANIE APLIKACJI INTERNETOWYCH KL IV TI 6 godziny tygodniowo (6x15 tygodni =90 godzin ), Program 351203 Opracowanie: Grzegorz Majda Tematyka zajęć 2. Przygotowanie środowiska pracy
Bardziej szczegółowoĆwiczenia 9: Zarządzanie konfiguracją Zadania:
Ćwiczenia 9: Zarządzanie konfiguracją Zadania: Konfiguracja repozytorium CVS: 1. Ściągnij i zainstaluj serwer CVS: CVSNT (www.cvsnt.org). 2. W konfiguracji repozytoriów (Panel Sterowania -> CVSNT) wybierz
Bardziej szczegółowo1 / 21. Rysunek 1. Wybierz pierwszą opcję i naciśnij ENTER. Rysunek 2. Tutaj nic nie robimy aż do wyświetlenia się niebieskiego ekranu.
W zależności od komputera, spotkamy się z różnymi sposobami uruchamiania maszyny z płyty bootowalnej. Należy dokonać zmian w ustawieniach BIOSu lub wybrać opcję bootowania. Rysunek 1. Wybierz pierwszą
Bardziej szczegółowoJak zawsze wyjdziemy od terminologii. While oznacza dopóki, podczas gdy. Pętla while jest
Pętle Pętla to pewien fragment kodu, który jest wykonywany wielokrotnie. Wyobraź sobie taką sytuację. Piszesz program do szyfrowania danych. Dane są szyfrowane kolejno bajt po bajcie. Załóżmy, że plik
Bardziej szczegółowoĆwiczenie 1. Wprowadzenie do programu Octave
Politechnika Wrocławska Wydział Elektroniki Mikrosystemów i Fotoniki Przetwarzanie sygnałów laboratorium ETD5067L Ćwiczenie 1. Wprowadzenie do programu Octave Mimo że program Octave został stworzony do
Bardziej szczegółowoProgramowanie w C++ Wykład 9. Katarzyna Grzelak. 14 maja K.Grzelak (Wykład 9) Programowanie w C++ 1 / 30
Programowanie w C++ Wykład 9 Katarzyna Grzelak 14 maja 2018 K.Grzelak (Wykład 9) Programowanie w C++ 1 / 30 Klasy - powtórzenie Klasy typy definiowane przez użytkownika Klasy zawieraja dane składowe plus
Bardziej szczegółowoLogowanie do aplikacji TETA Web. Instrukcja Użytkownika
Logowanie do aplikacji TETA Web Instrukcja Użytkownika Spis treści 1 Wstęp... 2 1.1 O tym dokumencie... 2 1.2 Przyjęte oznaczenia... 2 1.3 Cel i zakres systemu... 2 1.4 Instalacja wtyczki Silverlight...
Bardziej szczegółowoTemat 5. Programowanie w języku Logo
Temat 5. Programowanie w języku Logo Realizacja podstawy programowej 1) wyjaśnia pojęcie algorytmu, podaje odpowiednie przykłady algorytmów rozwiązywania różnych 2) formułuje ścisły opis prostej sytuacji
Bardziej szczegółowoPodstawy języka PROLOG
Dariusz Banasiak Katedra Informatyki Technicznej Wydział Elektroniki PROLOG akronim od PROgramming in LOGic Prolog został stworzony w 1971 przez Alaina Colmeraurera i Philipa Roussela. Podstawy teoretyczne
Bardziej szczegółowoProgramowanie w języku Python. Grażyna Koba
Programowanie w języku Python Grażyna Koba Kilka definicji Program komputerowy to ciąg instrukcji języka programowania, realizujący dany algorytm. Język programowania to zbiór określonych instrukcji i
Bardziej szczegółowoNp. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Bardziej szczegółowoWPROWADZANIE DANYCH W URZĄDZENIU MOBILNYM
WPROWADZANIE DANYCH W URZĄDZENIU MOBILNYM 1. Pobieramy ze strony MOODLA pliki SHAPE spakowane w samorozpakowujące się katalogi ZIP na komputer stacjonarny. (np. na pulpit) 2. Rozpakowujemy pliki na komputerze
Bardziej szczegółowoLogika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Bardziej szczegółowoSkrócony przewodnik/często zadawane pytania (FAQ)
Skrócony przewodnik/często zadawane pytania (FAQ) 1. Informacje ogólne Dlaczego warto wziąć udział w kursie Wartości i etyka Securitas? Każdego dnia i we wszystkich krajach, w których prowadzimy działalność,
Bardziej szczegółowoInstrukcja instalacji programu serwisowego NTSN krok po kroku
Instrukcja instalacji programu serwisowego NTSN krok po kroku 1. Pobieramy program serwisowy ze strony http://serwis.monument9.pl/program_serwisowy/ - bezpośredni link znajduje się w polu POBIERZ PROGRAM.
Bardziej szczegółowoInstrukcja wysyłka zapytań do dla: Amazis Izyda 1.08 Nemezis 4.10 EMPATIA WYSYŁKA ZAPYTAŃ
Instrukcja wysyłka zapytań do Emp@tia dla: Amazis02 4.15 Izyda 1.08 Nemezis 4.10 EMPATIA WYSYŁKA ZAPYTAŃ I. Z poziomu głównego okna programu. II. Z poziomu okna wniosku (z możliwością odpytania grupowego).
Bardziej szczegółowoLaboratorium Napędu robotów
WYDZIAŁ ELEKTRYCZNY INSTYTUT MASZYN, NAPĘDÓW I POMIARÓW ELEKTRYCZNYCH Laboratorium Napędu robotów INS 5 Ploter frezująco grawerujący Lynx 6090F 1. OPIS PRZYCISKÓW NA PANELU STEROWANIA. Rys. 1. Przyciski
Bardziej szczegółowoMetody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
Bardziej szczegółowoJak zainstalować szablon allegro?
Jak zainstalować szablon allegro? W mailu z zakupionym szablonem otrzymali państwo plik zip z numerem szablonu w nazwie. Należy najpierw go rozpakować. W paczce znajduję się pliki: 1. index[nrszablonu].txt
Bardziej szczegółowo