TA_intern questions

TA_intern answers

• Swap two items depending on the index
• 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