{"id":275,"date":"2017-08-20T00:01:37","date_gmt":"2017-08-19T22:01:37","guid":{"rendered":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/?p=275"},"modified":"2022-10-23T10:37:20","modified_gmt":"2022-10-23T08:37:20","slug":"obsluga-swi-prolog","status":"publish","type":"post","link":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/2017\/08\/20\/obsluga-swi-prolog\/","title":{"rendered":"Obs\u0142uga SWI-Prolog"},"content":{"rendered":"<div id=\"pl-275\" class=\"panel-layout\">\n<div id=\"pg-275-0\" class=\"panel-grid panel-no-style\" data-style=\"{&quot;background_display&quot;:&quot;tile&quot;,&quot;cell_alignment&quot;:&quot;flex-start&quot;}\">\n<div id=\"pgc-275-0-0\" class=\"panel-grid-cell panel-grid-cell-empty\" data-weight=\"0.13994655978624\"><\/div>\n<div id=\"pgc-275-0-1\" class=\"panel-grid-cell panel-grid-cell-mobile-last\" data-weight=\"0.72010688042752\">\n<div id=\"panel-275-0-1-0\" class=\"so-panel widget widget_text panel-first-child panel-last-child\" data-index=\"0\" data-style=\"{&quot;background_display&quot;:&quot;tile&quot;}\">\n<div class=\"textwidget\"><iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube.com\/embed\/M1SJ-qa9WTk?rel=0\" frameborder=\"0\" allowfullscreen=\"\"><\/iframe><\/div>\n<\/div>\n<\/div>\n<div id=\"pgc-275-0-2\" class=\"panel-grid-cell panel-grid-cell-empty\" data-weight=\"0.13994655978624\"><\/div>\n<\/div>\n<div id=\"pg-275-1\" class=\"panel-grid panel-no-style\" data-style=\"{&quot;background_display&quot;:&quot;tile&quot;,&quot;cell_alignment&quot;:&quot;flex-start&quot;}\">\n<div id=\"pgc-275-1-0\" class=\"panel-grid-cell\" data-weight=\"1\">\n<div id=\"panel-275-1-0-0\" class=\"so-panel widget widget_sow-editor panel-first-child panel-last-child\" data-index=\"1\" data-style=\"{&quot;background_display&quot;:&quot;tile&quot;}\">\n<div class=\"so-widget-sow-editor so-widget-sow-editor-base\">\n<div class=\"siteorigin-widget-tinymce textwidget\">\n<div class=\"su-spoiler su-spoiler-style-default su-spoiler-icon-plus su-spoiler-closed\" data-scroll-offset=\"0\" data-anchor-in-url=\"no\"><div class=\"su-spoiler-title\" tabindex=\"0\" role=\"button\"><span class=\"su-spoiler-icon\"><\/span>Utworzenie pliku&nbsp;nowego programu<\/div><div class=\"su-spoiler-content su-u-clearfix su-u-trim\">\n<p>Pierwszym krokiem, jaki musimy wykona\u0107, by utworzy\u0107 nowy program, jest uruchomienie kompilatora j\u0119zyka Prolog.<\/p>\n<p><img loading=\"lazy\" class=\"aligncenter size-full wp-image-283\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1a.png\" alt=\"\" width=\"683\" height=\"509\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1a.png 683w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1a-300x224.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1a-150x112.png 150w\" sizes=\"(max-width: 683px) 100vw, 683px\"><\/p>\n<p>Nast\u0119pnie wybieramy \u201eFile\u201d i przechodzimy do \u201eNew\u201d.<\/p>\n<p><img loading=\"lazy\" class=\"aligncenter size-full wp-image-284\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1b.png\" alt=\"\" width=\"683\" height=\"512\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1b.png 683w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1b-300x225.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1b-150x112.png 150w\" sizes=\"(max-width: 683px) 100vw, 683px\"><\/p>\n<p align=\"JUSTIFY\">Pojawia nam si\u0119 okienko zapisu \u2013 musimy upewni\u0107 si\u0119, \u017ce nasz plik zostanie zapisany w odpowiedniej lokalizacji (swipl&gt;bin). Wpisujemy nazw\u0119 dla naszego programu (bez rozszerzenia) i klikamy \u201eZapisz\u201d.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-285\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1c.png\" alt=\"\" width=\"691\" height=\"533\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1c.png 691w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1c-300x231.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1c-150x116.png 150w\" sizes=\"(max-width: 691px) 100vw, 691px\"><\/p>\n<p align=\"JUSTIFY\">Otworzy\u0142o si\u0119 okienko, w kt\u00f3rym b\u0119dziemy tworzy\u0107 program \u2013 zapisywa\u0107 fakty po\u0142\u0105czone relacjami, tworzy\u0107 regu\u0142y.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-286\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1d.png\" alt=\"\" width=\"725\" height=\"565\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1d.png 725w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1d-300x234.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1d-150x117.png 150w\" sizes=\"(max-width: 725px) 100vw, 725px\"><\/p>\n<\/div><\/div>\n<div class=\"su-spoiler su-spoiler-style-default su-spoiler-icon-plus su-spoiler-closed\" data-scroll-offset=\"0\" data-anchor-in-url=\"no\"><div class=\"su-spoiler-title\" tabindex=\"0\" role=\"button\"><span class=\"su-spoiler-icon\"><\/span>Tworzenie programu<\/div><div class=\"su-spoiler-content su-u-clearfix su-u-trim\">\n<p>W okienku, kt\u00f3re wyskoczy\u0142o nam po stworzeniu nowego programu, wpisujemy kilka fakt\u00f3w po\u0142\u0105czonych relacj\u0105:<\/p>\n<p align=\"JUSTIFY\">lubi(gosia,cukierki). \u2013 oznacza, \u017ce Gosia lubi cukierki.<\/p>\n<p align=\"JUSTIFY\">lubi(gosia,ciasteczka). \u2013 oznacza, \u017ce Gosia lubi ciasteczka.<\/p>\n<p align=\"JUSTIFY\">lubi(franek,ciasteczka). \u2013 oznacza, \u017ce Franek lubi ciasteczka.<\/p>\n<p align=\"JUSTIFY\">lubi(gosia,franek). \u2013 oznacza, \u017ce Gosia lubi Franka.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-287\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1e.png\" alt=\"\" width=\"725\" height=\"564\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1e.png 725w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1e-300x233.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1e-150x117.png 150w\" sizes=\"(max-width: 725px) 100vw, 725px\"><\/p>\n<p align=\"JUSTIFY\">Aby zapisa\u0107 nasze fakty w stworzonym przez nas pliku klikami File&gt;Save buffered.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-288\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1f.png\" alt=\"\" width=\"724\" height=\"564\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1f.png 724w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1f-300x234.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1f-150x117.png 150w\" sizes=\"(max-width: 724px) 100vw, 724px\"><\/p>\n<p align=\"JUSTIFY\"><a href=\"https:\/\/drive.google.com\/uc?authuser=0&amp;id=0B_oEHEdkstUIVzQtcjBObVFiT3c&amp;export=download\"><strong>POBIERZ PROGRAM<\/strong><\/a><\/p>\n<\/div><\/div>\n<div class=\"su-spoiler su-spoiler-style-default su-spoiler-icon-plus su-spoiler-closed\" data-scroll-offset=\"0\" data-anchor-in-url=\"no\"><div class=\"su-spoiler-title\" tabindex=\"0\" role=\"button\"><span class=\"su-spoiler-icon\"><\/span>Uruchamianie programu<\/div><div class=\"su-spoiler-content su-u-clearfix su-u-trim\">\n<p>Je\u017celi chcemy korzysta\u0107 ze stworzonego programu, musimy najpierw go uruchomi\u0107 \u2013 skompilowa\u0107.<\/p>\n<p align=\"JUSTIFY\">Gdy w trakcie korzystania z programu edytujemy go i zapiszemy w nim zmiany, r\u00f3wnie\u017c musimy go od nowa uruchamia\u0107.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-289\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1g.png\" alt=\"\" width=\"683\" height=\"508\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1g.png 683w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1g-300x223.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1g-150x112.png 150w\" sizes=\"(max-width: 683px) 100vw, 683px\"><\/p>\n<p align=\"JUSTIFY\">Chc\u0105c uruchomi\u0107 nasz program w kompilatorze musimy w kwadratowych nawiasach wpisa\u0107 nazw\u0119 naszego pliku, pod kt\u00f3r\u0105 zapisali\u015bmy program (bez rozszerzenia) i zako\u0144czy\u0107 kropk\u0105:<\/p>\n<h2 align=\"JUSTIFY\"><span style=\"font-size: large;\">[nazwaplikubezrozszerzenia]<\/span>.<\/h2>\n<p align=\"JUSTIFY\">Gdy kompilator odpowie nam \u201etrue\u201d oznacza to, \u017ce program jest poprawny i mo\u017cemy zacz\u0105\u0107 zadawa\u0107 zapytania.<\/p>\n<\/div><\/div>\n<div class=\"su-spoiler su-spoiler-style-default su-spoiler-icon-plus su-spoiler-closed\" data-scroll-offset=\"0\" data-anchor-in-url=\"no\"><div class=\"su-spoiler-title\" tabindex=\"0\" role=\"button\"><span class=\"su-spoiler-icon\"><\/span>Edycja programu<\/div><div class=\"su-spoiler-content su-u-clearfix su-u-trim\">\n<p>Edycja programu nast\u0119puje przez wej\u015bcie w File&gt;Edit.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-290\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1h.png\" alt=\"\" width=\"683\" height=\"508\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1h.png 683w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1h-300x223.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1h-150x112.png 150w\" sizes=\"(max-width: 683px) 100vw, 683px\"><\/p>\n<p align=\"JUSTIFY\">Z folderu bin wybieramy plik, kt\u00f3ry chcemy edytowa\u0107.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-291\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1i.png\" alt=\"\" width=\"691\" height=\"529\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1i.png 691w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1i-300x230.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prologl\/wp-content\/uploads\/2017\/08\/1i-150x115.png 150w\" sizes=\"(max-width: 691px) 100vw, 691px\"><\/p>\n<p align=\"JUSTIFY\">Po wybraniu pliku pojawia nam si\u0119 okienko z programem \u2013 w tym momencie mo\u017cemy do woli przeprowadza\u0107 edycj\u0119. My dopiszemy po prostu kolejny fakt, \u017ce Franek lubi Kasie.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-292\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1j.png\" alt=\"\" width=\"682\" height=\"548\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1j.png 682w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1j-300x241.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1j-150x121.png 150w\" sizes=\"(max-width: 682px) 100vw, 682px\"><\/p>\n<p align=\"JUSTIFY\">Je\u017celi chcemy zmiany zapisa\u0107 w tym samym pliku to przechodzimy jak poprzednio przez File&gt;Save buffer. Natomiast gdy chcemy zapisa\u0107 nasz zmieniony program jako nowy plik korzystamy z File&gt;Save as.<\/p>\n<p align=\"JUSTIFY\"><img loading=\"lazy\" class=\"aligncenter size-full wp-image-293\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1k.png\" alt=\"\" width=\"682\" height=\"548\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1k.png 682w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1k-300x241.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1k-150x121.png 150w\" sizes=\"(max-width: 682px) 100vw, 682px\"><\/p>\n<p align=\"JUSTIFY\">Przy wyborze \u201eSave as\u201d pojawia nam si\u0119 okienko z domy\u015blnie wybran\u0105 lokalizacj\u0105, je\u017celi chcemy plik zapisa\u0107 w innym miejscu, wybieramy opcje \u201eBrowse\u201d i wybieramy folder, w kt\u00f3rym znajdzie si\u0119 nasz plik. Gdy mamy zamiar korzysta\u0107 z naszego programu musimy go zapisa\u0107 w folderze bin zainstalowanego kompilatora SWI-Prolog.<\/p>\n<h3 align=\"JUSTIFY\">Po ostatnim slashu (\/) wpisujemy nazw\u0119, jak\u0105 chcemy nada\u0107 naszemu plikowi i dodajemy rozszerzenie, kt\u00f3re obs\u0142uguje prolog \u2013 <span style=\"font-size: large;\">nazwapliku.pl<\/span> \u2013 je\u017celi nie dodamy rozszerzenia, nie b\u0119dziemy mogli skompilowa\u0107 programu i z niego korzysta\u0107.<\/h3>\n<p><img loading=\"lazy\" class=\"aligncenter size-full wp-image-294\" src=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1l.png\" alt=\"\" width=\"682\" height=\"548\" srcset=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1l.png 682w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1l-300x241.png 300w, https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/wp-content\/uploads\/2017\/08\/1l-150x121.png 150w\" sizes=\"(max-width: 682px) 100vw, 682px\"><\/p>\n<p><a href=\"https:\/\/drive.google.com\/uc?authuser=0&amp;id=0B_oEHEdkstUIZU40cHlRZ2xTMkk&amp;export=download\"><strong>POBIERZ PROGRAM<\/strong><\/a><\/p>\n<\/div><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p class=\"continue-reading-button\"> <a class=\"continue-reading-link\" href=\"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/2017\/08\/20\/obsluga-swi-prolog\/\">Czytaj dalej<i class=\"crycon-right-dir\"><\/i><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[2,5],"tags":[],"_links":{"self":[{"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/posts\/275"}],"collection":[{"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/comments?post=275"}],"version-history":[{"count":2,"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/posts\/275\/revisions"}],"predecessor-version":[{"id":454,"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/posts\/275\/revisions\/454"}],"wp:attachment":[{"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/media?parent=275"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/categories?post=275"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lewandowskit.eduweb.pwste.edu.pl\/prolog\/index.php\/wp-json\/wp\/v2\/tags?post=275"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}