This project focused on creating a procedural planning system using Prolog to simulate a robot's coffee-making process. Logical axioms were developed to represent the robot's knowledge, initial states, and action preconditions. By encoding these rules in Prolog, the system successfully guided the robot through a series of logical steps to complete its goal. The project highlights the practical application of knowledge representation and reasoning in automating tasks.
full project coming soon...
