/*
 * CS 60, Spring 2008, Assignment 8
 *
 * Logic Database
 *
 * Due: Sunday, March 30 by 11:59 PM
 *
 * Note: This is a skeletal Prolog file, hw8.pro, which you can complete
 *       with your own solutions.
 */

/* 
 * Download your own copy of SWI-Prolog from:
 *
 *   http://www.swi-prolog.org/dl-stable.html
 *
 * or run on a CS Linux server (such as knuth.cs.hmc.edu) by typing
 *
 *   pl -f ...your file name here...
 *
 * after the Unix prompt.
 *
 * Get the movies database from:
 *
 * and include the following incantation in your source file:
 * 
 *        :- ensure_loaded('movies.pro').
 */

:- ensure_loaded('movies.pro').

/*
 * Problem: Complete the definitions of Prolog predicates that respond to
 * the following queries, made to the Prolog database in the following
 * ensure_loaded directive. This database defines the following predicates:
 *
 * movie([Title, Year], Director, [... categories])
 *
 * actress(Name, [Birth City, Birth State], Birthyear)
 *
 * actor(Name, [Birth City, Birth State], Birthyear)
 *
 * plays(Player, Role, [Title, Year])
 *
 * Your predicate names must be exactly those given below, or your solutions
 * will not be able to pass the tests that will be applied in grading.
 *
 * Since the essence of the solutions is in your predicate definitions and
 * not the actual answers, we will provide the answers in test cases.
 *
 * In defining your predicates, remove the _ from the variables.  These
 * are present for now so the compiler doesn't complain about singleton
 * variables, which are often the sign of an error, such as a spelling error.
 *
 */

/*
 * 1. directedBandits(Director) iff Director is the director of the movie 
 *    ['Bandits', 2001].
 */

directedBandits(_Director) :- tbd.


/*
 * 2. directedByBay(Movie) iff Movie is directed by 'Michael Bay'.
 */

directedByBay(_Movie) :- tbd.


/*
 * 3. actressAfter1970(Actress) iff Actress was born after 1970.
 */

actressAfter1970(_Actress) :- tbd.


/*
 * 4. player(Name, BirthPlace, Birthyear) iff either 
 *    actor(Name, BirthPlace, Birthyear) 
 * or actress(Name, BirthPlace, Birthyear).
 */

player(_Name, _Birthplace, _Birthyear) :- tbd.


/*
 * 5. bornInLondon(Player) iff Player was born in ['London', 'England'].
 */

bornInLondon(_Player) :- tbd.


/*
 * 6. playerAndDirector(Player) iff Player is a player that directed 
 *    some movie.
 */

playerAndDirector(_Player) :- tbd.


/*
 * 7. playedAndDirected(Player) iff Player is a player that directed a movie 
 *    in which he or she played.
 */

playedAndDirected(_Player) :- tbd.


/*
 * 8. playedMultiple(Player) iff Player played in more than one movie.
 */

playedMultiple(_Player) :- tbd.


/*
 * 9. playedInComedy(Player) iff Player played in a comedy.
 */

playedInComedy(_Player) :- tbd.


/*
 * 10. playedNotDirected(Director) iff Director directed some movies, but 
 *     played in at least one movie he/she did not direct.
 */

playedNotDirected(_Director) :- tbd.


tbd :- fail.	% This will make uncompleted problems fail.


/* The following will be used for testing your answers. */

test(Name, Var, Query, Desired) :- 
    setof(Var, Query, Ans), !,
    (
    Ans == Desired 
        -> write('*** test '), write(Name), write(' passed'), nl

        ;  write('*** test '), write(Name), write(' failed'), nl,
           write('    desired was '), write(Desired), nl,
           write('    actual was '),  write(Ans), nl
    ).

test(Name, _Var, _Query, []) :- !,
          write('*** test '), write(Name), write(' passed'), nl.

test(Name, _Var, _Query, Desired) :- 
           write('*** test '), write(Name), write(' failed'), nl,
           write('    desired was '), write(Desired), nl,
           write('    no answer produced'), nl.


test(1) :- test(1, D, directedBandits(D), ['Barry Levinson']).

test(2) :- test(2, M, directedByBay(M), 
                    [['Armageddon',1998], ['Pearl Harbor',2001]]).

test(3) :- test(3, A, actressAfter1970(A), 
		    ['Amanda Peet','Cameron Diaz','Drew Barrymore',
		    'Gwyneth Paltrow','Kate Beckinsale','Liv Tyler']).

test(4) :- test(4, [N, B, Y], player(N, B, Y),
    [['Adam Garcia',['Wahroonga','New South Wales'],1973],
     ['Al Pacino',['South Bronx','New York'],1940],
     ['Alec Guinness',['London','England'],1914],
     ['Amanda Peet',['New York','New York'],1972],
     ['Ben Affleck',['Berkeley','California'],1972],
     ['Ben Stiller',['New York','New York'],1965],
     ['Billy Bob Thornton',['Hot Springs','Arkansas'],1955],
     ['Bruce Willis',['Idar-Oberstein','Germany'],1955],
     ['Cameron Diaz',['San Diego','California'],1972],
     ['Cate Blanchett',['Melbourne','Australia'],1969],
     ['David Arquette',['Winchester','Virginia'],1971],
     ['Drew Barrymore',['Culver City','California'],1975],
     ['Gary Oldman',['London','England'],1958],
     ['Glenn Close',['Greenwich','Connecticut'],1947],
     ['Gwyneth Paltrow',['Los Angeles','California'],1972],
     ['Harrison Ford',['Chicago','Illinois'],1942],
     ['Jack Black',['Hermosa Beach','California'],1969],
     ['Jason Alexander',['Newark','New Jersey'],1959],
     ['John Cusack',['Evanston','Illinois'],1966],
     ['John Leguizamo',['Bogota','Colombia'],1964],
     ['John Malkovich',['Christopher','Illinois'],1953],
     ['Jose Ferrer',['Santurce','Peurto Rico'],1909],
     ['Josh Hartnett',['San Francisco','California'],1978],
     ['Kate Beckinsale',['London','England'],1973],
     ['Kris Kristofferson',['Brownsville','Texas'],1936],
     ['Liv Tyler',['Portland','Maine'],1977],
     ['Martin Landau',['Brooklyn','NY'],1931],
     ['Matt Dillon',['New Rochelle','New York'],1964],
     ['Nicole Kidman',['Honolulu','Hawaii'],1967],
     ['Steve Zahn',['Marshall','Minnesota'],1968],
     ['Tom Everett Scott',['East Bridgewater','Massachussets'],1970],
     ['Zsa Zsa Gabor',['Budapest','Hungary'],1916]]).

test(5) :- test(5, L, bornInLondon(L), 
                    ['Alec Guinness','Gary Oldman','Kate Beckinsale']).

test(6) :- test(6, P, playerAndDirector(P), 
                    ['Ben Stiller']).

test(7) :- test(7, P, playedAndDirected(P), ['Ben Stiller']).

test(8) :- test(8, P, playedMultiple(P), 
    ['Al Pacino','Ben Affleck','Ben Stiller','Billy Bob Thornton',
     'Bruce Willis','Cameron Diaz','Cate Blanchett','Drew Barrymore',
     'Gary Oldman','Glenn Close','Gwyneth Paltrow','Harrison Ford',
     'Jack Black','John Cusack','Kate Beckinsale','Liv Tyler',
     'Martin Landau','Matt Dillon','Nicole Kidman','Steve Zahn']).

test(9) :- test(9, P, playedInComedy(P), 
    ['Adam Garcia','Amanda Peet','Ben Stiller','Billy Bob Thornton',
     'Bruce Willis','Cameron Diaz','Cate Blanchett','David Arquette',
     'Drew Barrymore','Gary Oldman','Glenn Close','Gwyneth Paltrow',
     'Jack Black','Jason Alexander','John Cusack','John Malkovich',
     'Kate Beckinsale', 'Liv Tyler','Matt Dillon','Nicole Kidman','Steve Zahn',
     'Tom Everett Scott']).

test(10) :- test(10, D, playedNotDirected(D), ['Ben Stiller']).

/* test all solutions, by backtracking */

test :- test(_), fail; true.

/*
 * A few Prolog gotcha's to note:
 *
 * // is not a comment symbol. It means integer division.
 * 
 * The two comment forms are:
 *
 *     slash-star to star-slash 
 *
 *     percent (%) to end-of-line
 *
 * Identifiers starting with upper-case are variables, unless they are in 
 * single quotes '...' which may be treated as string quotes.
 *
 * Identifiers starting with lower-case are either constants or predicate
 * names.
 *
 * Do not use double quotes "...", as his is a shorthand for the list of 
 * individual characters inside the double quotes.
 *
 * Using arithmetic symbols such as +, *, -, / WILL not cause evaluation
 * unless within the right-hand side of an 'is' expression.
 */