A user trying out the Python MQI library does the following at the top level (which I’ve never seen before):
?- [user]. |: fruit(mango). |: fruit(apple). |: ^D% user://1 compiled 0.01 sec, 2 clauses true. ?- fruit(mango). true.
Can someone describe what this feature is and maybe point me at the docs so I can understand how to translate it to something that can be run through the Python MQI library?
It looks like a shortcut to asserting clauses into the user module, but I’d like to know more details.