Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:prolog:prolog_lab:prolog_lab_system [2012/04/24 18:23] esimon |
pl:prolog:prolog_lab:prolog_lab_system [2019/06/27 15:50] (aktualna) |
=== Potoki w Prologu === | === 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''. FIXME | |
| |
<code prolog> | <code prolog> |
osoba(ania). | 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 :- | wypisz_posortowane :- |
tell(pipe(sort)), | open(pipe(sort), write, A), |
wypisz_osoby, | \+ wypisz_osoby(A), |
told. | close(A). |
</code> | </code> |
| |
==== - Temat: GraphViz i ImageMagick ==== | ==== - Temat: GraphViz i ImageMagick ==== |
| |
| |
[[misc:Graphviz]] jest aplikacją służącą do wizualizacji grafów. | [[misc:Graphviz]] jest aplikacją służącą do wizualizacji grafów. |
==== - Metaprogramowanie i Potoki ==== | ==== - 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 (patrz {{:pl:prolog:prolog_lab:graph.pl}}) będący argumentem wywołania predykatu ''dotegen/1'', np.: | 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.: |
| |
dotgen(mojUlubionyGraf/2). | dotgen(mojUlubionyGraf/2). |
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ź. | 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 {{:pl:prolog:prolog_lab:rysuj.pl}}: | Przykładowe wykorzystanie //rysuj.pl//: |
| |
<code prolog> | <code prolog> |
graf(jeden,cztery). | 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 :- | 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> | </code> |
| |
==== - Ćwiczenie: Tworzenie potoków ==== | ==== - Ć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? | Jaka jest różnica? dlaczego? |
| |
==== - Ćwiczenie: Wizualizacja drzewa genealogicznego potomków ==== | ==== - Ćwiczenie: Wizualizacja drzewa genealogicznego potomków ==== |
| |
Korzystając z predykatów określających koligacje rodzinne z [[pl:prolog:prolog_lab:wprowadzenie]] 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) | rysuj_potomek(+Kto) |