How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Exercise: Railway Routes<br />
► Base (Facts):<br />
■ directlyLinked(Berlin, Potsdam).<br />
■ directlyLinked(Potsdam,Braunschweig).<br />
■ directlyLinked(Braunschweig, Hannover).<br />
► Define the predicates<br />
■ linked(A,B)<br />
■ alsoLinked(A,B)<br />
■ unreachable(A,B)<br />
► Answer the queries<br />
■ linked(Berlin,X)<br />
■ unreachable(Berlin, Hannover)<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
67