问题[clips](coding)

我有该代码：

(deftemplate country
    (slot name)
    (multislot flag_colors))

(deffacts countries
    (country (name "United States of America") (flag_colors red white blue))
    (country (name "Belgium") (flag_colors black yellow red))
    (country (name "Poland") (flag_colors white red))
    (country (name "Monaco") (flag_colors white red))
    (country (name "Sweden") (flag_colors yellow blue))
    (country (name "Panama") (flag_colors red white blue))
    (country (name "Jamaica") (flag_colors black yellow green))
    (country (name "Colombia") (flag_colors yellow blue red))
    (country (name "Italy") (flag_colors green white red))
    (country (name "Ireland") (flag_colors green white orange))
    (country (name "Greece") (flag_colors blue white))
    (country (name "Botswana") (flag_colors blue white black)))

(defrule find-countries-with-colors
   ?c <- (country (name ?name) (flag_colors $?colors))
   ?input-colors <- (input-colors $?userColors)
   (test (subsetp $?userColors $?colors))
   =>
   (printout t "Country: " ?name crlf))

(deffunction subsetp (?sublist ?list)
   (if (or (not (listp ?sublist)) (not (listp ?list)))
       then FALSE
       else
       (foreach ?element ?sublist
          (if (not (member ?element ?list))
              then return FALSE))
       return TRUE))

(defrule get-user-input
   (declare (salience 10))
   =>
   (printout t "Enter colors separated by spaces: ")
   (bind ?colors-string (readline))
   (bind ?colors (explode$ ?colors-string))
   (assert (input-colors (create$ ?colors))))

(defrule no-match-found
   (not (find-countries-with-colors))
   =>
   (printout t "No country found with the specified colors." crlf))

(defrule run
   (declare (salience -10))
   =>
   (run))

当我运行它时，出现以下错误：

定义 deftemplate：国家 定义 deffacts：国家 定义 defrule：find-country-by-colors [PRNTUTIL2] 语法错误：检查 defrule 的适当语法。

错误：（defrule MAIN::find-country-by-colors？request <-（request（定义 deffunction：subsetp [DFFNXPSR2] 不允许 Deffunctions 替换外部函数。

错误：（deffunction MAIN::subsetp（定义 deffunction：main

[EXPRNPSR3] 缺少颜色函数声明。

错误：（deffunction MAIN::main（）（printout t“输入以空格分隔的颜色：”）（bind？user-colors（explode$（readline）））（assert（request（colors FALSE

请帮帮我，我不知道。我只是在学习。

该程序的本质是，它应该要求输入颜色，然后根据输入的颜色输出所有国旗包含所有这些颜色的国家。

这是我的程序：

是一个根据用户输入提出最适合推荐哪种漏洞扫描工具的问题的程序。

我尽力尝试添加检查代码哪些部分检查正确的方法，但发现无法真正存储用户偏好并打印适当的扫描仪推荐

无论我尝试什么输入，都只得到“无扫描仪推荐”。

相信这可能是因为它的规则是基于进度而扫描仪建议没有正确存储？

(deftemplate user-preference
  (slot scan-type (type SYMBOL))
  (slot environment (type SYMBOL)))

(deftemplate scanner-recommendation
  (slot scanner-name (type STRING))
  (slot description (type STRING)))

(deftemplate question-progress
  (slot stage (type SYMBOL)))

;; Initialize question stage
(defrule initialize-question-stage
  (not (question-progress))
  =>
  (assert (question-progress (stage next)))
  (printout t "Initialization complete. Stage set to 'next'." crlf))

;; Rule to ask initial scan type
(defrule ask-scan-type
  (not (user-preference (scan-type ?))) 
  ?f <- (question-progress (stage next)) 
  =>
  (printout t "What type of scan are you interested in? (webapp/network/cloud/infrastructure): " crlf)
  (bind ?input (read))
  (if (or (eq ?input webapp) (eq ?input network) (eq ?input cloud) (eq ?input infrastructure)) then
    (assert (user-preference (scan-type ?input)))
    (printout t "Scan type set to: " ?input crlf)
    (retract ?f)
    (assert (question-progress (stage follow-up)))
  else
    (printout t "Invalid input. Please enter 'webapp', 'network', 'cloud', or 'infrastructure'." crlf)
    (retract ?f)
    (assert (question-progress (stage next)))))

;; Ask environment for webapp scans
(defrule ask-webapp-environment
  (user-preference (scan-type webapp))
  ?f <- (question-progress (stage follow-up))
  =>
  (printout t "Are you looking for a comprehensive or entry-level webapp scanner? " crlf)
  (bind ?input (read))
  (if (or (eq ?input comprehensive) (eq ?input entry-level)) then
    (assert (user-preference (environment ?input)))
    (printout t "Environment set to: " ?input crlf)
    (retract ?f)
    (assert (question-progress (stage complete)))
  else
    (printout t "Invalid input. Please enter 'comprehensive' or 'entry-level'." crlf)))

;; Ask environment for network scans
(defrule ask-network-environment
  (user-preference (scan-type network))
  ?f <- (question-progress (stage follow-up))
  =>
  (printout t "Do you prefer deep or fast network scanning? " crlf)
  (bind ?input (read))
  (if (or (eq ?input deep) (eq ?input fast)) then
    (assert (user-preference (environment ?input)))
    (printout t "Environment set to: " ?input crlf)
    (retract ?f)
    (assert (question-progress (stage complete)))
  else
    (printout t "Invalid input. Please enter 'deep' or 'fast'." crlf)))

;; Ask environment for cloud scans
(defrule ask-cloud-environment
  (user-preference (scan-type cloud))
  ?f <- (question-progress (stage follow-up))
  =>
  (printout t "Are you focused on cloud security or container security? " crlf)
  (bind ?input (read))
  (if (or (eq ?input cloud) (eq ?input container)) then
    (assert (user-preference (environment ?input)))
    (printout t "Environment set to: " ?input crlf)
    (retract ?f)
    (assert (question-progress (stage complete)))
  else
    (printout t "Invalid input. Please enter 'cloud' or 'container'." crlf)))

;; Ask environment for infrastructure scans
(defrule ask-infrastructure-environment
  (user-preference (scan-type infrastructure))
  ?f <- (question-progress (stage follow-up))
  =>
  (printout t "Is this for IT infrastructure or endpoint security? " crlf)
  (bind ?input (read))
  (if (or (eq ?input infrastructure) (eq ?input endpoint)) then
    (assert (user-preference (environment ?input)))
    (printout t "Environment set to: " ?input crlf)
    (retract ?f)
    (assert (question-progress (stage complete)))
  else
    (printout t "Invalid input. Please enter 'infrastructure' or 'endpoint'." crlf)))

;; Recommendations based on user input

;; Webapp scan recommendations
(defrule recommend-invicti
  (user-preference (scan-type webapp) (environment comprehensive))
  =>
  (assert (scanner-recommendation (scanner-name "Invicti")
                                  (description "Best for comprehensive webapp scanning.")))
  (printout t "Recommendation rule triggered for Invicti." crlf))

(defrule recommend-stackhawk
  (user-preference (scan-type webapp) (environment entry-level))
  =>
  (assert (scanner-recommendation (scanner-name "StackHawk")
                                  (description "Best entry-level scanner for webapp security.")))
  (printout t "Recommendation rule triggered for StackHawk." crlf))


;;; Other scan recommendations with same / similar code to Webapp scan reccommendations
;;; e.g. network, cloud and infrastructure


;; No solution if no scanner-recommendation is found
(defrule no-solution
  (question-progress (stage complete))
  (not (scanner-recommendation (scanner-name ?)))
  =>
  (printout t "No scanner recommendations based on your selections." crlf))

;; Output best solution if scanner recommendation exists
(defrule best-solution
  (question-progress (stage complete))
  (scanner-recommendation (scanner-name ?name) (description ?desc))
  =>
  (printout t "Recommended Scanner: " ?name crlf)
  (printout t "Description: " ?desc crlf))

为什么 CLIPS 中的一些内置函数名以 $ 结尾，例如explode$？这有什么意义？

我有这些模板，

(deftemplate classroom
    (slot classroom_number (type INTEGER))
    (multislot students (type SYMBOL))
)

(deftemplate students_to_classroom_lookup
    (multislot students (type SYMBOL))
)

这些事实代表了教室和属于该教室的学生。

(deffacts classrooms
    (classroom (classroom_number 1) (students Paul Lucy Peter Sebastian))
    (classroom (classroom_number 2) (students Peter Paul Lucy Sebastian Arthur))
    (classroom (classroom_number 3) (students Paul Lucy Peter))
    (classroom (classroom_number 4) (students Lucy Peter Paul))
)

然后我有这个事实，它遵循“students_to_classroom_lookup”模板，并在程序运行时通过键盘输入。

(students_to_classroom_lookup (students Paul Peter Sebastian Lucy))

我想找到恰好有这些学生且只有这些学生的教室号。

请注意，内容，

(students_to_classroom_lookup (students Paul Peter Sebastian Lucy))

基于用户输入，在程序的另一次运行中，“学生”的内容可能是 Paul Sebastian Lucy Peter 或只是 Lucy Peter Paul。

我尝试过这个规则：

(defrule match_classroom_and_students
    (classroom (classroom_number ?number) (students $?students))
    (students_to_classroom_lookup (students $?students_lookup&:(subsetp $?students $?students_lookup)))
=>
    (printout t "Classroom number " ?number crlf)
)

输出：

Classroom number 1
Classroom number 3
Classroom number 4

预期输出：

Classroom number 1

我感谢所有的帮助。