Hi Rohit,
I sent the file "2022.01.05-0500-ActionMenu.nb" also to the Wolfram Support and I am waiting for an answer from them.
As per the interface of the UI for the Expert system, see the attached "Interface du système expert.pdf" file.
As per Lisp code, the Inference engine of the expert system was written in Lisp in 1985.
Roman Maeder from the Swiss Institute of Technology did something quite similar in Mathematica that you can see in his book "The Mathematica Programmer II", Academic Press, 1992, Chapter 2, Logic Programming.
Anyway, I do not want to program again in Lisp because I think that at Wolfram they are showing us the way to go for the future, including using SystemModeler and the Control functions of Mathematica, not forgetting Tracking Control since Mathematica 13.0 (see: Summary of New Features in 13.0 - System Modeling).
As per Jay Sussman, we had a wonderful time at the First Conference on Artificial Intelligence held in Cambridge, UK, I do not remember the year.
Another conference was held latter in the Conference Center of the Twickenham Stadium, UK, a good place to blend artificial intelligence with rugby...
Seeing the picture you attached of the cover of the book of Jay "Structure and Interpretation of Computer Programs" was very emotional for myself, considering the number of hours I spent in trying to understand what he meant in chapter 4, "Metalinguistic Abstraction" and especially in section 4.4 "Logic Programming".
Another very important book preceding the one of Jay was "Lisp", by Patrick Henry Winston, 1981, especially chapter 24 "Symbolic Pattern Matching", chapter 25 "Streams and Delayed Evaluations" and chapter 26 "Rule-Based Expert Systems and Forward Chaining".
So, Rohit, I thank your for your kind suggestions that I will try as soon as I can and compare all that with the solutions provided by the Wolfram Support, if any.
Kindest regards.
Gianni
Attachments: