{"slug": "nelumbo-a-new-logic-meta-language", "title": "Nelumbo: A new logic meta-language", "summary": "Nelumbo has launched as a logic meta-language for specifying declarative languages, in which developers define a DSL's syntax and semantics as inference rules over three-valued logic and every construct becomes available on the next line, with no generators, compile step or deployment loop. Nelumbo ships live IDE support in the browser, VS Code, IntelliJ and Eclipse, plus an MCP server for AI assistants, and a single pattern line such as `Boolean ::= <Person> likes <Person>` makes new notation first-class syntax. A no-install tutorial lets users try the language directly.", "body_md": "Nelumbo is a logic meta-language for specifying declarative languages.\n       You define your DSL's **syntax and semantics** - the semantics in pure logic -\n       and every construct is live on the very next line.\n\nWhy Nelumbo\n\nLanguage workbenches let you define structure and notation. Nelumbo goes further:\n     you also define what your language *means*, as inference rules -\n     and the language runs while you are still writing it.\n\nOne pattern line - `Boolean ::= <Person> likes <Person>` -\n         and the new notation is first-class syntax, with IDE support included.\n\nMeaning is written as inference rules over honest three-valued logic. Logic is the medium, not the target: you write your domain, the engine does the reasoning.\n\nNelumbo executes immediately: a construct defined on line `n`\n         is available from line `n+1` on. No generators, no compile\n         step, no deployment loop.\n\nEverything a language workbench gives you, plus executable semantics - with live IDE support in the browser, VS Code, IntelliJ and Eclipse, and an MCP server for AI assistants.\n\nSee it grow\n\nThis is real Nelumbo: one line declares new syntax, one rule gives it\n         meaning in logic, and the query at the bottom already speaks the new language -\n         the editor verifies the expected answer live.\n         Try it yourself in the [tutorial](https://nelumbo.nl/tutorial.html); no install needed.", "url": "https://wpnews.pro/news/nelumbo-a-new-logic-meta-language", "canonical_source": "https://nelumbo.nl", "published_at": "2026-11-11 16:02:53+00:00", "updated_at": "2026-11-11 16:20:45.590444+00:00", "lang": "en", "topics": ["developer-tools", "ai-tools", "agent-protocols", "artificial-intelligence"], "entities": ["Nelumbo", "VS Code", "IntelliJ", "Eclipse"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/nelumbo-a-new-logic-meta-language", "markdown": "https://wpnews.pro/news/nelumbo-a-new-logic-meta-language.md", "text": "https://wpnews.pro/news/nelumbo-a-new-logic-meta-language.txt", "jsonld": "https://wpnews.pro/news/nelumbo-a-new-logic-meta-language.jsonld"}}