IN1002: Computation & Reasoning
Coursework 1: Semantic Networks & Prolog

Part I: Algorithms and Prolog

a)
i)
d=1947 i=1, d=1947+11 = 1958 i=2, no change to d i=3, d=1958+11 = 1969 i=4, no change to d i=5, n=8, d=1969+8 = 1977 i=6, n=6, d=1977+6 = 1983 i=7, n=4, d=1983+4 = 1987
Return: d= 1987

ii) d=2007 i=6, d=2007-6 = 2001 i=5, d=2001-8 = 1993 i=4, d=1993-10 = 1983 i=3, no change to d i=2, d=1983-10 = 1973 i=1, no change to d
Return: d= 1973

b)
Therefore consider the Actor -- Leading Role, Actress -- Leading Role, Best Picture and Directing in the years of 1973 and 1987.

%1bi) actor('marlon brando',1973,'last tango in paris',nomination, actor). actor('jack lemmon',1973,'save the tiger',win, actor). …show more content…

London then overrides the property capital of that it inherited from Settlement and changes it to UK. It also overrides the property number of universities, which it inherited from City which in turn inherited from Settlement, to 12.

iv)
For this example I will use the subclass Town. Town is a subclass of Settlement and from Settlement it inherits the properties capital of (Nowhere) and number of universities (0). Town itself has a property of its own which is size (medium).
v) Ecclefechan has the property resident (Carlysle). It is an instance of Village and thus inherits the property size (small). Ecclefechan also inherits the properties of number of universities (0) and capital of (Nowhere) from Settlement as Ecclefechan is an instance of Village which is in turn a subclass of Settlement.

v)
Ecclefechan has the property resident (Carlysle). It is an instance of Village so Ecclefechan inherits the property size (small) from Village. Village is a subclass of Settlement so Ecclefechan also inherits the properties of capital of (Nowhere) and number of universities (0) as Village is a subclass of Settlement and in turn Ecclefechan is an instance of Village.

b)

The classes that occur in more then one network are Books, People and Organisation. The ways network i and ii are linked are through the subclasses, Publishers, Writers, Factual and Fiction. The Publishers subclass from network ii indicates that Publishers are usually