--- pl:prolog:lab_prolog_ansic [2007/11/26 16:11]
kosmo
+++ pl:prolog:lab_prolog_ansic [2019/06/27 15:50] (aktualna)
@@ Linia 1: / Linia 1: @@
 ====== Wstęp ======
@@ Linia 4: / Linia 5: @@
 Prolog można łatwo zintegrować z językiem //ANSI C//.
-W [[http://www.swi-prolog.org/|SWI]] służy do tego podstawowy [[http://gollem.science.uva.nl/SWI-Prolog/Manual/foreign.html|interfejs do C]]
+W [[http://www.swi-prolog.org/|SWI]] służy do tego podstawowy [[http://gollem.science.uva.nl/SWI-Prolog/Manual/foreign.html|Foreign Language Interface]]
 Preliminaria:
@@ Linia 13: / Linia 14: @@
 ====== Ćwiczenia ======
@@ Linia 25: / Linia 30: @@
       * Praktycznie wszystkie funkcje interfejsu Prolog <-> C SWI-Prologu zwracają wartość różną od 0 w przypadku powodzenia i zerową w przypadku błędu.
       * Nawet drobne błędy w użyciu API Prologu mogą zaowocować znaczącą destabilizacją całego programu bądź jego niewytłumaczalmnym działaniem.
+      * Programy w C należy kompilować przy pomocy załączonego pliku {{:pl:prolog:prolog_lab:Makefile-lab-ansic.txt|Makefile}}. Należy go skopiować pod nazwą //Makefile// do katalogu, w którym będą źródła programów tworzonych podczas tego ćwiczenia. Po wydaniu komendy //make// wszystkie pliki *.c zostaną skompilowane i skonsolidowane z Prologiem.
   * Uruchamianie i zatrzymywanie SWI-Prologu:
@@ Linia 33: / Linia 39: @@
    * **Zadanie**:
-Napisz program, który uruchomi konsolę Prologu.
+Należy napisać program w C, który uruchomi konsolę Prologu.
@@ Linia 44: / Linia 52: @@
   * **Zadanie:**
-Należy napisać program, który za pomocą predykatu //consult/1// wczyta program w Prologu, a następnie wykona predykat z załadowanego pliku.
+Należy napisać program w C, który za pomocą predykatu //[[http://gollem.science.uva.nl/SWI-Prolog/Manual/consulting.html#consult/1|consult/1]]// wczyta program w Prologu, a następnie wykona predykat z załadowanego pliku.
 ===== Etap 3: Predykaty w C =====
+Prolog umożliwa implementację predykatów w języku C. W przypadku [[http://www.swi-prolog.org|SWI]] predykat jest funkcją zwracającą wartość ''TRUE'' lub ''FALSE'', przyjmującą argumenty typu ''term_t'' w liczbie równej arności danego predykatu. Przed użyciem argumenty muszą być skonwertowane do typów języka C za pomocą odpowiednich [[http://gollem.science.uva.nl/SWI-Prolog/Manual/foreigninclude.html#sec:9.6.3.2|funkcji]]. Możliwa jest także ich [[http://gollem.science.uva.nl/SWI-Prolog/Manual/foreigninclude.html#sec:9.6.4|modyfikacja]] oraz [[http://gollem.science.uva.nl/SWI-Prolog/Manual/foreigninclude.html#sec:9.6.5|unifikacja]].
-===== Prolog z C =====
+Predykaty napisane w języku C przed użyciem muszą zostać zarejestrowane przy pomocy funkcji ''[[http://gollem.science.uva.nl/SWI-Prolog/Manual/foreigninclude.html#PL_register_foreign()|int PL_register_foreign(const char *name, int arity, foreign_t (*function)(), int flags)]]'' __przed inicjalizacją Prologu__. Po tej czynności mogą być używane zarówno z poziomu języka C jak i Prologu.
-===== Unix: polecenia systemowe =====
+  *  **Zadanie:**
-[[http://www.swi-prolog.org/packages/clib.html|pakiet Clib]]
+Należy napisać w języku C predykat przyjmujący jako argument tekst, który zostanie wypisany na ekranie w ozdobych nawiasach (''-=[ ]=-''), a następnie przetestować jego działanie przy pomocy konsoli Prologu.
-===== Unix: sockety =====
-[[http://www.swi-prolog.org/packages/clib.html|pakiet Clib]]
-====== Źródła ======
-  * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/Contents.html|Podręcznik SWI]]
-  * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/foreign.html|interfejs do C]]
-  * [[http://www.swi-prolog.org/packages/clib.html|pakiet Clib]]
-inne
-przyklady
-narzedzia
+===== Unix: Polecenia Systemowe =====
+[[http://www.swi-prolog.org|SWI-Prolog]] posiada mechanizmy pozwalajace na interację z systemem operacyjnym na którym pracuje. Do najprostrzych należy predykat //[[http://gollem.science.uva.nl/SWI-Prolog/Manual/system.html#shell/1|shell/1]]//, który pozwala na uruchomienie dowolnej aplikacji z poziomu Prologu.
+Na [[http://www.swi-prolog.org/packages/clib.html#sec:2|głębszą interackcję]] pozwala biblioteka [[http://www.swi-prolog.org/packages/clib.html|SWI-Prolog C-library]].
+  *  **Zadanie:**
+Należy napisać w Prologu program uruchamiający __jednocześnie__ 4 xtermy.
+===== Unix: Sockety =====
+[[http://www.swi-prolog.org/packages/clib.html|SWI-Prolog C-library]] pozwala także na komunikację sieciową, udostępniająć sieciowe API systemu operacyjengo jako predykaty. W [[http://www.swi-prolog.org/packages/clib.html#sec:4|Dokumentacji]] podane są kompletne przykłady implementacji serwerów i klientów napisanych w Prologu.
+*  **Zadanie:**
+Należy napisać w Prologu aplikację pobierającą poprzez protokół HTTP plik tekstowy i wyświetlający go na ekranie. Minimalne żądanie HTTP ma postać:
+<code>
+   GET /ścieżka/do/pliku.txt<znak końca linii>
+   <znak końca linii>
+</code>
+Po wysłaniu żądania serwer wysyła nagłówki i zawartość pliku rozdzielone pustą linią a następnie zamyka połączenie.
+====== Źródła ======
+  * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/Contents.html|Podręcznik SWI]]
+  * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/foreign.html|Foreign Language Interface]]
+  * [[http://www.swi-prolog.org/packages/clib.html|SWI-Prolog C-library]]

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

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice