Syntax of query could be easily clarified #28
Description
A Prolog query is written as a term of the form ?-(Q), denoting ∅←Q.
Therefore, in the textbox "Write your query here", I would intuitively write for example:
?- write_canonical("hello").
which currently yields:
?- write_canonical("hello!").
Error in query (1:1): Invalid token
(whereas expected, ideally: '.'(h,'.'(e,'.'(l,'.'(l,'.'(o,[])))))).
The system currently apparently expects the (?-)/1 wrapper not to be part of the query that is entered. This could be indicated by setting a ?- in proximity to the box.