TinyProlog

Enter query: