Lisp Program, производящий контракт нарушение

Question

Я написал программу lisp, которая принимает два параметра, место назначения и карту в виде BST. Он выполняет поиск BST для номера получателя и печатает (найден: путь), если цель найдена. Если он не найден, он должен печатать (не найден: пункт назначения), но по какой-то причине я получаю нарушение контракта. Это не работает через мой cond правильно, и я уже возился с ним в течение тридцати минут. Может кто-нибудь помочь.

Вот моя программа:

(define (robot goal map) 
    [code hidden for university honour code purposes] 

; Test robot function 
(robot 64 '(53() (64()()))) 
(robot 4 '(53() (64()()))) 

Answer 1

Вы упускаете один случай в процедуре (define (robot map path) ...). Что произойдет, если параметр map равен null? исправить это следующим образом:

(define (robot map path) 
    (cond ((not (null? map)) 
     [code hidden for university honour code purposes]) 
     (else '()))) ; this line was missing! 

Это точно то же самое, что я уже говорил в моем ответе на предыдущий вопрос: всегда первый случай рассмотреть, является ли вы обходом списка или дерева, это: то, что происходит если он равен нулю?