Różnice

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

--- notatki:prolog [2025/05/13 22:23] – administrator
+++ notatki:prolog [2025/05/14 09:21] (aktualna) – administrator
@@ Linia 1: / Linia 1: @@
-====== Prolog ======
+====== Prolog: Podstawy programowania logicznego ======
+===== Programy do uruchomienia Prologa =====
-Proste IDE prolog: https://wiki.ostrowski.net.pl/prolog/
+  * https://wiki.ostrowski.net.pl/prolog/ na bazie https://tau-prolog.org/
-Trzeba wykonywać jedno zapytanie na raz.
+  * https://swish.swi-prolog.org/
-{{:notatki:pasted:20250513-221954.png}}
 ====== Wstęp ======
@@ Linia 44: / Linia 43: @@
 Przykłady:
-  * Jeśli mamy fakt rodzic(jozef, jacek), zapytanie \+ rodzic(jozef, jacek). zwróci fałsz.
+  * Jeśli mamy fakt ''rodzic(jozef, jacek)'', zapytanie ''\+ rodzic(jozef, jacek).'' zwróci fałsz.
-  * Jeśli mamy zapytanie \+ rodzic(krzysztof, jacek). (które nie jest zapisane jako fakt w bazie), to zwróci prawdę.
+  * Jeśli mamy zapytanie ''\+ rodzic(krzysztof, jacek).'' (które nie jest zapisane jako fakt w bazie), to zwróci prawdę.
 </WRAP>
@@ Linia 246: / Linia 245: @@
 W Prologu możesz używać ''_,'' gdy nie zależy ci na wynikach tej zmiennej, np. w przypadku:
 <code prolog>
 motyw(X, zazdrość) :-
@@ Linia 262: / Linia 262: @@
 Zatem ''_'' pełni rolę zmiennej, której wartości nie będziemy wykorzystywać w dalszej logice.
 </WRAP>
+Predykaty i reguły:
 <code prolog>
 % Fakty

Kacper's Wiki