I'm currently working on adding lists to my blockly-based IDE for s(CASP). But it restricts people to unary and binary predicates, so it's not applicable to a real Prolog language, yet. I keep thinking it might be worth building a block language for generic prologs, if I could come up with a decent way of letting the user generate n-ary predicates. Seeing any uptake on Praxis?