スキーム

Question

リストのペアの変数をリストに代入できる関数を書く必要があります。例(subsitute-var '((p #t) (Q #f)) '(P and Q or Q))

のために私はいくつかのコード

(define substitute 
    (lambda (A B list)  
    (cond  
    ((null? list) '())  
    ((list? (car list)) 
     (cons (substitute A B (car list)) (substitute A B (cdr list)))) 
    ((eq? (car list) A) (cons B (substitute A B (cdr list))))  
    (else  
     (cons (car list) (substitute A B (cdr list))))))) 

(define substitute-var 
    (lambda (list var) 
    (cond 
    ((null? list) '()) 
    ((null? var) '()) 
    ((substitute (caar var) (car (cdr (car var))) list))  
     (substitute-var list (cdr var))))) 

を書いてきたが、物事はそれが唯一の最初のペア(p #t)を代用し、同じようなリストの残りの部分を残していることです。私はsubstitute-varを再帰的に呼び出そうとしますが、それも機能しません。私は助けが必要です。私はあなたが得たと思う私はあなたに

Answer 1

に感謝助けてください、あなたのvarと

Answer 2

これを試してみてください混ざっlist：今

(define (substitute-var var lst) 
    (if (or (null? var) (null? lst)) 
     '() 
     (substitute (car var) (cadr var) lst))) 

(define (substitute a b lst) 
    (cond ((null? lst) '()) 
     ((eq? (car lst) (car a)) 
     (cons (cadr a) (substitute a b (cdr lst)))) 
     ((eq? (car lst) (car b)) 
     (cons (cadr b) (substitute a b (cdr lst)))) 
     (else (cons (car lst) (substitute a b (cdr lst)))))) 

、あなたの例で試験したとき：

(substitute-var '((P #t) (Q #f)) '(P and Q or Q)) 

手順期待される答えを返します。

(#t and #f or #f)