叉(1) 下载

复制

; 水罐拼图
 
(定义 (水-水壶-详细fcap tcap目标)
  (让环((fjug公司0) (水壶0) (步骤0))
    (显示 “步骤：”) (显示步骤)
    (显示 “；fjug:”) (显示fjug公司)
    (显示 “；tjug:”) (显示t罐)
    (康德 ((=fjug目标)
            (显示 “在fjug中完成；目标”) (换行符)
步骤)
          ((=tjug目标)
            (显示 “完成；tjug中的目标”) (换行符)
步骤)
          ((=tjug tcap) ; “到”罐子装满；清空它
            (显示 “装满；清空”) (换行符)
            (环路fjug0 (+步骤1)))
          ((零？fjug公司)
            (显示 “清空；填满”) (换行符)
            (回路fcap tjug(+步骤1)))
          (其他的
            (显示 “；把fjug倒进tjug”) (换行符)
            (让 ((x(最小值 (-tcap tjug)fjug公司)))
              (环(-fjug x型) (+t罐x) (+步骤1)))))))
 
(定义 (水-jugs fcap tcap目标)
  (让环((fjug公司0) (t罐0) (步骤0))
    (康德 ((或 (=fjug目标) (=tjug目标))步骤)
          ((=tjug tcap) (环路fjug0 (+步骤1)))
          ((零？fjug公司) (环路fcap tjug(+步骤1)))
          (其他的 (让 ((x(最小值 (-tcap tjug)fjug公司)))
            (环(-fjug x型) (+t罐x) (+步骤1)))))))
 
(定义 (罐x y靶)
  (如果 (肯定？ (模目标(gcd公司x年)))#（f）
    (最小值 (水-罐x y靶) (水-罐y x靶))))
 
(水-水壶-冗长的三 5 4) (换行符)
(水-水壶-冗长的5 三 4) (换行符)
(显示 (水壶三 5 4)) (换行符)