1.  Prolog declarative: Expresses logic of a computation without describing control flow.

2.  What runs with the program assum

3.  Programming language paradigms: Style of programming.  Differ in concepts of abstractions used to represent elements and steps that compose computation.  Examples: Functional, Declarative, Object-oriented

6.  canReach(X, Y) :- connected(X, Z), canReach(Z,Y).
    canReach(X, X).
    inCycle(X) :- canReach(X, Y), canReach(Y, X)

7.  even([]).
    even([_|L]) :- odd(L).
    odd([_|L]) :- even(L).


8.  Show printed with java beginning with a(), demonstrates exceptions:  i is 12