TA_intern questions

TA_intern answers

• How does prolog resolution use proof by contradiction?
• Should I enforce mode declarations by throwing instantiation errors?
• Does it make sense to use a cut when a predicate backtracks into the same solution?
• Deleting the middle element of a list