Różnice

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

--- notatki:prolog [2025/05/13 22:25] – administrator
+++ notatki:prolog [2025/05/14 09:21] (aktualna) – administrator
@@ Linia 1: / Linia 1: @@
-====== Prolog ======
+====== Prolog: Podstawy programowania logicznego ======
+===== Programy do uruchomienia Prologa =====
+  * https://wiki.ostrowski.net.pl/prolog/ na bazie https://tau-prolog.org/
+  * https://swish.swi-prolog.org/
-{{:notatki:pasted:20250513-221954.png?800}}\\
-https://wiki.ostrowski.net.pl/prolog/\\
-**Trzeba wykonywać jedno zapytanie na raz.**
 ====== Wstęp ======
@@ Linia 45: / 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 247: / 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 263: / 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