PPT Slide

Modeling Sources

Sources related to world model by describing them as views over world model:

Required binding..

movie-hut(X, Y) -> title-time(X, Y), title-actor(X, Z)

house-of-movies($X, Y) -> title-time(X, Y), title-actor(X, Z)

query(X, Y) :- title-time(X, Y)