Różnice

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

--- notatki:prolog [2025/05/13 22:35] – 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/
+  * https://wiki.ostrowski.net.pl/prolog/ na bazie https://tau-prolog.org/
   * https://swish.swi-prolog.org/
@@ Linia 43: / 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>

Kacper's Wiki