I'm sure there's a simple explanation, but I can't get ; to behave as advertised. I'm going through the first page of Learn Prolog Now!
and it gives this example:
Then it talks about variables. The statement
X = mia
but when I enter ; and return it gives this
X = mia ;
X = jody .
In other words, it seems to kick me out to the prompt without giving me the opportunity to enter ; again and get yolanda. I'm on SWI 7.4.0 on Ubuntu16.10. What am I missing here?