AIwiki

Strona Główna

Dla Studentów

Zima / Winter 2021:

Computer Science: Introduction to AI
ISI: Podstawy Sztucznej Inteligencji

Old specialized AI courses

SMaDA/SMaIDA/AIDA

1. semester:

2. semester:

WSHOP -- Development Workshop

Informatyka (EAIiIB)

1. rok:

2. i 3. rok:

4. rok:

Systemy i technologie wirtualizacji

Studia Dr

HeKatE

Public

The KESE workshop (EN only)
Mindstorms (archive)

Prolog Lab

Część główna

Część fakultatywna

Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

--- pl:prolog:prolog_lab:prolog_lab_system [2008/11/17 13:34]
gjn
+++ pl:prolog:prolog_lab:prolog_lab_system [2019/06/27 15:50] (aktualna)
@@ Linia 3: / Linia 3: @@
 ===== - #6 WPROWADZENIE =====
 ==== - Temat: Uruchamianie programów ====
-FIXME
-GJN
+Przy pomocy interpretera SWI można  uruchomić program w trybie wsadowym (ang. //batch//).
-linia poleceń http://gollem.science.uva.nl/SWI-Prolog/Manual/initgoal.html
-skrypt sh http://gollem.science.uva.nl/SWI-Prolog/Manual/compilation.html
+  swipl -s program.pl -g go -t halt
-plscript
-qsave http://gollem.science.uva.nl/SWI-Prolog/Manual/runtime.html
+Powyższe wywołanie załaduje podany plik, zada cel ''go.'', a po jego zakończeniu cel ''halt.''.
+Co jest równoważne wywołaniu:
+  swipl
+  [program].
+  go.
+  halt.
+Program można też uruchomić w postaci skryptu.
+  * w najprostszym przypadku można stworzyć skrypt //Sh//, np.:
+  #!/bin/sh
+  swipl -s program.pl -g go -t halt
+  * lub też
+  #!/bin/sh
+  swipl -s $1 -g $2 -t halt
+wtedy  można go uruchomić poleceniem
+  ./nazwa_skryptu program.pl go
+  * ciekawsze jest stworzenie skryptu Prologowego
+  #!/usr/bin/swipl -q -t go -s
+  tresc programu w prologu
+  * w obu przypadkach aby uruchomić skrypt należy wcześniej nadać mu odpowiednie atrybuty:
+  chmod u+rx skrypt
+Więcej można przeczytać na:
+  * [[http://www.swi-prolog.org/pldoc/doc_for?object=section%282%2c%20%272.3%27%2c%20swi%28%27%2fdoc%2fManual%2finitgoal.html%27%29%29|Initialisation files and goals]]
+  * [[http://www.swi-prolog.org/pldoc/doc_for?object=section%282%2c%20%272.10%27%2c%20swi%28%27%2fdoc%2fManual%2fcompilation.html%27%29%29|Compilation]]
+  * [[http://www.swi-prolog.org/pldoc/doc_for?object=section%281%2c%20%2710%27%2c%20swi%28%27%2fdoc%2fManual%2fruntime.html%27%29%29|Generating Runtime Applications]]
 ==== - Temat: Potoki i przekierowanie we/wy ====
@@ Linia 32: / Linia 66: @@
 ===  Potoki w Prologu ===
-Do utworzenia potoku w Prologu można wykorzystać predykaty ''tell/1'', ''told/0'', [[http://gollem.science.uva.nl/SWI-Prolog/Manual/IO.html#sec:edinburghIO|oraz specjalny term pipe/1]].
+Do utworzenia potoku w Prologu można wykorzystać predykat ''open/3'', [[http://gollem.science.uva.nl/SWI-Prolog/Manual/IO.html#sec:edinburghIO|oraz specjalny term pipe/1]].
-''pipe/1'' tworzy potok, przekierowuje standardowe wyjście do wskazanej aplikacji lub potoku.
+W przykładzie poniżej ''open(pipe(sort)...)'' uruchamia aplikację systemową ''sort''.
-W przykładzie poniżej ''tell(pipe(sort))'' uruchamia aplikację systemową ''sort''.
 <code prolog>
 osoba(franek).
 osoba(jurek).
 osoba(ania).
-wypisz_osoby :-
+wypisz_osoby(A) :-
-  osoba(X), write(X), nl, fail.
+        osoba(B),
-wypisz_osoby.
+        write(A, B),
+        write(A, '\n'),
+        fail.
 wypisz_posortowane :-
-  tell(pipe(sort)),
+        open(pipe(sort), write, A),
-  wypisz_osoby,
+        \+ wypisz_osoby(A),
-  told.
+        close(A).
 </code>
 ==== - Temat: GraphViz i ImageMagick ====
-[[:graphviz]] jest aplikacją służącą do wizualizacji grafów.
+[[misc:Graphviz]] jest aplikacją służącą do wizualizacji grafów.
 Przetwarza plik wejściowy z symbolicznym tekstowym zapisem węzłów oraz krawędzi i generuje plik wyjściowy w jednym z wybranych formatów: JPG, PNG, EPS, SVG, PDF, PS...
@@ Linia 69: / Linia 105: @@
 </code>
-Wywołanie generujące graf jako obrazek PNG ([[:graphviz]] generuje graf na standardowym wyjściu):
+''digraph'' jest słowem kluczowym określającym graf skierowany, ''G'' jest nazwą grafu (może to być dowolny ciąg znaków), pomiędzy {} należy umieścić zbiór krawędzi, zapisanych jako:
+  nazwa1 -> nazwa2
+gdzie ''nazwa1'' oraz ''nazwa2'' to nazwy wierzchołków pomiędzy którymi znajduje się krawędź; jeżeli w nazwie wierzchołka znajdują się znaki białe (np. spacje) należy nazwę wierzchołka umieścić w cudzysłowiach np.
+  "wezel o dlugiej nazwie".
+Wywołanie generujące graf jako obrazek PNG ([[misc:Graphviz]] generuje graf na standardowym wyjściu):
   dot -T png przyklad.dot > przyklad.png
@@ Linia 84: / Linia 127: @@
 ==== - Metaprogramowanie i Potoki ====
-Metaprogramowanie można połączyć z możliwościami jakie daje tworzenie potoków do napisania uniwersalnego programu wyświetlającego graf skierowany na podstawie faktów przechowywanych przez wskazany predykat: {{:pl:prolog:prolog_lab:graph.pl}}.
+Metaprogramowanie można połączyć z możliwościami jakie daje tworzenie potoków do napisania uniwersalnego programu wyświetlającego graf skierowany na podstawie faktów przechowywanych przez wskazany predykat (patrz {{:pl:prolog:prolog_lab:graph2.pl}}) będący argumentem wywołania predykatu ''dotegen/1'', np.:
-Przykładowe wykorzystanie {{:pl:prolog:prolog_lab:rysuj.pl}}:
+  dotgen(mojUlubionyGraf/2).
+wygeneruje graf na podstawie krawędzi zdefiniowanych przez dwuargumentowy predykat ''mojUlubionyGraf''.
+Należy zwrócić uwagę, że ''dotgen/1'' generuje graf pod warunkiem, że wskazany predykat reprezentujący graf ma 2 lub więcej argumentów; założono, że pierwsze dwa argumenty są nazwami wierzchołków tworzących krawędź.
+Przykładowe wykorzystanie //rysuj.pl//:
 <code prolog>
@@ Linia 93: / Linia 142: @@
 graf(jeden,cztery).
-:- [graph].
+:- [graph2].
+rysuj :-
-rysuj :-
+        open(pipe('dot -T png | display'), write, A),
-  tell(pipe('dot -T png | display')),
+        dotgen(A, graf/2),
-  dotgen(graf/2),
+        close(A).
-  told.
 rysuj_w :-
-  tell(pipe('dot -T png | display &')),
+        open(pipe('dot -T png | display &'), write, A),
-  dotgen(graf/2),
+        dotgen(A, graf/2),
-  told.
+        close(A).
 </code>
@@ Linia 111: / Linia 159: @@
 Np. do wygenerowania grafu może służyć polecenie:
-  swipl -f rysuj.pl -q -t 'dotgen(graf/2).' | dot -Tpng | display
+  swipl -s rysuj.pl -q -t 'dotgen(graf/2).' | dot -Tpng | display
 bądź też współbieżnie:
-  swipl -f rysuj.pl -q -t 'dotgen(graf/2).' | dot -Tpng | display &
+  swipl -s rysuj.pl -q -t 'dotgen(graf/2).' | dot -Tpng | display &
@@ Linia 121: / Linia 170: @@
 ==== - Ćwiczenie: Tworzenie skryptów ====
-FIXME GJN
+Sprawdź działanie:
+  swipl -g help
+  swipl -g help -t halt
+Uruchom w podobny sposób program //rodzina// z  1. zajęć (lub inny).
+Zadaj z linii poleceń różne pytania, np. "kto jest rodzicem piotra?".
+Uruchom program //rodzina// jako skrypt Sh, gdzie z linii poleceń można zadać pytanie jako 1. argument skryptu.
+Uruchom program //rodzina// jako skrypt Prolog.
 ==== - Ćwiczenie: Tworzenie potoków ====
-Przeanalizuj działanie {{graph.pl}}.
+Przeanalizuj działanie {{graph2.pl}}.
-Przetestuj i porównaj działanie predykatów ''rysuj'' oraz ''rysuj_w'' z {{rysuj.pl}}.
+Przetestuj i porównaj działanie predykatów ''rysuj'' oraz ''rysuj_w'' z {{rysuj2.pl}}.
 Jaka jest różnica? dlaczego?
-FIXME więcej zadań?
 ==== - Ćwiczenie: Wizualizacja drzewa genealogicznego potomków ====
-Korzystając z predykatów określających koligacje rodzinne z [[prolog_lab_1]] oraz na podstawie {{graph.pl}} napisz predykat generujący graf będący drzewem genealogicznym określającym potomków wskazanej osoby:
+Korzystając z predykatów określających koligacje rodzinne z [[pl:prolog:prolog_lab:wprowadzenie]] oraz na podstawie {{graph2.pl}} napisz predykat generujący graf będący drzewem genealogicznym określającym potomków wskazanej osoby:
+  rysuj_potomek(+Kto)
+gdzie Kto to osoba, dla której zostanie wygenerowane drzewo potomków, zakładając, że istnieją predykaty: ''rodzic/2'', ''kobieta/1'', ''mezczyzna/1''.
+Przykładowe wywołanie:
+  rysuj_potomek(franek).
+Wygeneruje drzewo genealogiczne potomków dla osoby franek.
+Podpowiedź: najpierw napisz predykat znajdujący potomków, potem dodaj generację danych dla [[misc:Graphviz]], następnie wizualizację.
+==== - Ćwiczenie: Wizualizacja drzewa genealogicznego potomków, metaprogramowanie ====
+Korzystając z predykatów określających koligacje rodzinne z laboratorium [[wprowadzenie]] oraz na podstawie {{graph.pl}} napisz predykat generujący graf będący drzewem genealogicznym określającym potomków wskazanej osoby:
   rysuj_potomek(+Kto,+Rodzic,+Kobieta,+Mezczyzna)
@@ Linia 141: / Linia 216: @@
   rysuj_potomek(franek,rodzic/2,kobieta/1,mezczyzna/1)
-Wygeneruje drzewo genealogiczne potomków dla osoby franek, przy czym rodzic/2, kobieta/1, mezczyzna/1 są zdefiniowanymi predykatami, których klauzule przechowują informacje o koligacjach rodzinnych.
+Wygeneruje drzewo genealogiczne potomków dla osoby ''franek'', przy czym ''rodzic/2, kobieta/1, mezczyzna/1'' są zdefiniowanymi predykatami, których klauzule przechowują informacje o koligacjach rodzinnych.
-Podpowiedź: najpierw napisz predykat znajdujący potomków, potem dodaj generację danych dla [[:graphviz]], następnie wizualizację.
+Podpowiedź: najpierw napisz predykat znajdujący potomków, potem dodaj generację danych dla [[misc:Graphviz]], następnie wizualizację.
-==== - Ćwiczenie: Wizualizacja drzewa genealogicznego ====
+Uwaga:
+Można pokolorować krawędzie i węzły grafu, zadając:
+  digraph G {
+    "ala" [style=filled, fillcolor=yellow]
+    "ala" ->"ma" [color=blue]
+    "kota"->"ma" [color=red]
+    "ma" -> "w ciapki"
+  }
+Pokoloruj innymi kolorami węzły związane z kobietami i mężczyznami.
+===== Dla Zainteresowanych =====
+==== Ćwiczenie: Wizualizacja drzewa genealogicznego ====
 Napisz predykat:
@@ Linia 151: / Linia 239: @@
   rysuj_drzewo(+Kto,+Rodzic,+Kobieta,+Meżczyzna)
-rysujący kompletne drzewo dla wskazanej osoby.
+rysujący kompletne drzewo dla wskazanej osoby; zarówno potomków jak i przodków.
-FIXME
-a jakie było pytanie w tym przykładzie?
-Poza tym to raczej dla zainteresowanych?
 Przykład drzewa genealogicznego:
@@ Linia 161: / Linia 245: @@
 {{:pl:prolog:prolog_lab:drzewo_gen_przyklad.png}}
+====== Uwagi, komentarze, propozycje ======
+Tu studenci mogą wpisywać swoje uwagi.
+ --- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2009/05/06 09:13//

pl/prolog/prolog_lab/prolog_lab_system.1226925240.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry