Title: A study of causation from the perspectives of philosophy and logic programming