Child Prolog Lab — Stage 8
Run recursive examples like sum_to(5,S)., grammar queries like generate(sentence,S)., formula discovery queries like discover_formula([1,4,9,16,25],F)., graph transforms like apply(connect_grandparent)., spec-to-algorithm prompts like Find the biggest number in a list., or symbolic world queries like can_enter(tower). and explore them with semantic visualization modes.