Volume: Vol-4311 ICLP-WS-DC 2026 | Year: 2026

Paper: « PEG_regular_05 | PEG_regular_06 | PEG_regular_07 »

ProverSLD: An Interactive Visualizer for Teaching SLD Resolution in Prolog and First-Order Logic

• Ján Perháč
• Patrik Čmil
• Samuel Novotný

317-328 PDF 10.83095/ceurws_04311_031