Arbore SLD
Vizualizator Arbore SLD
Ctrl+S export | Del sterge nod
Program Prolog
0
▼
OK
+
Preseturi:
member/2
conc/3
ancestor/2
Demo member(3,[1,3])
Noduri
Rezultat
Adauga / editeaza nod
Eticheta nod
Interogare curenta
Clauza suprapusa
-- selecteaza --
Nod parinte
(radacina)
Sistem de ecuatii (format Potolea: ecuatie ⇒ rezolvare)
Ecuatie
⇒
Rezolvare
⇒
✕
+ Ecuatie
Status
Succes conditionat (regula cu corp)
Succes (fapt)
Esec (fail)
Cut (!)
Sub-interogari derivate (din corpul clauzei)
+ Sub-interogare
Acest nod contine cut (!)
Adauga nod
Reseteaza
Noduri existente
0
Constructia rezultatului (bottom-up)
De la frunzele de succes se propaga instantierile in sus spre radacina.
Auto-trace
Sterge
Raspuns final
Rezultat
Niciun rezultat inca.
+ Zoom
- Zoom
Reset
Incadreaza
100%
Export JSON
Import JSON
?
Export PNG
Tutorial
Report a Problem
succes
conditionat
fail
cut
blocat