Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls.