The problem is easy to solve with search, and we get start(sc)=0, start(pt)=0 and start(pc)=l. But for this small ... The first possibility is to use a general purpose search engine with a declarative description of the procedures. The second option isanbsp;...
|Title||:||Principles of Knowledge Representation and Reasoning|
|Publisher||:||Morgan Kaufmann Pub - 1996|