Volume: Vol-4083 RuleML+RR-Companion 2025 | Year: 2025

Paper: « paper66 | paper67 | paper45 »

Time for FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning

• William Van Woensel
• Doerthe Arndt
• Jos De Roo

PDF