<div class="notebook">

<div class="nb-cell markdown" name="md1">
Try entering e.g. a(X,Y).
</div>

<div class="nb-cell query" data-tabled="true" name="q1">
read_line_to_string(user_input, S),
term_string(Term, S, [variable_names(Names)]).
</div>

</div>