PSOATransRun Web-based Service
Online access to built-in-free
RuleML: Interactively create/change Knowledge Bases (KBs) and Queries,
lating them from Source (PSOA Presentation Syntax) to Target (TPTP) form for execution in
KB Target + Query
Target language "Prolog" not yet provided for PSOATransRun Web-based Service
Constants "..." and "_..." become "'_...'". Variables "?..." become "Q...".
If a non-ground query is successful, all of its results will be shown, with one answer-variable
substitution line for each result. If a query fails, "No" will be printed.