some logic(prologue) examples