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

Paper: « PEG_regular_13 | PEG_regular_14 | RCRA_regular_01 »

Prolog–Blockly Playgrounds for Logical Reasoning through Natural Deduction

• Joaquín Arias
• Alberto Scocco

398-407 PDF 10.83095/ceurws_04311_039