Generated by see.js from a Notation3 source file.
socratesThe generated examples/socrates.js is a specialized JavaScript derivation program. It does not parse N3, does not extract final strings from the source, and does not call an external reasoner. Instead, see.js has translated the supported N3 facts, rules, built-ins, fuses, and query directives into JavaScript constants and a local fixpoint derivation.
Running node examples/socrates.js produces a SEE-style Markdown report with an Insight section, an Explanation section, and an Evidence block. When the N3 source derives log:outputString, that authored text is used as the report. Otherwise, the generated JavaScript summarizes the selected query facts, formula facts, or non-input derived facts and explains the compact derivation path.
The compiler supports ordinary triples, semicolon/comma property lists, RDF lists, blank nodes, variable predicates, formula-valued terms, forward rules, recursive backward rules (<=), top-level log:query, => false fuses, and the built-ins listed above. Built-ins are compiled as native JavaScript relations, including multi-solution list predicates and relation-like reverse modes where Eyeling defines them. Runtime dereferencing/parsing built-ins such as log:content, log:semantics, and log:parsedAsN3 intentionally fail in offline specialized examples unless their result has already been expressed in the source as data. Other unsupported constructs fail during compilation or during the generated derivation rather than silently jumping to log:outputString.