Ejemplo n.º 1
0
def the_neighbour_of(predicate, with_this, new_predicate, can_have_this, state):
    """
    If the house contains a predicate then the neighbouring house can have
    another predicate
    
    eg.  The man who keeps horses lives next to the one who plays hockey.
    
    If this house has horses 
    THEN next door can have hockeybut not horses
    AND this house cannot have hockey
        
    :param str predicate: The predicate we are looking for.
    :param str with_this: Value to search with.
    :param str predicate: The predicate we will asign.
    :param str can_have_this: Value to the neighbour can have.
    :param dict state: The current state of the universe.
    """
    found_with_this = einstein.get_position(with_this, state)
    found_have_this = einstein.get_position(can_have_this, state)
    if found_with_this and found_have_this: #We have assigned these rules already
        return state
    elif found_with_this: #We only know where the horse lives
        houses = einstein.next_to(found_with_this)
        if len(houses) == 1:
            return einstein.assign_value(houses[0], new_predicate, can_have_this, state)
        else:
            return einstein.propose_house(houses, new_predicate, can_have_this, state)
    elif found_have_this: #We only know where the hockey is played
        houses = einstein.next_to(found_have_this)
        if len(houses) == 1:
            return einstein.assign_value(houses[0], predicate, with_this, state)
        else:
            return einstein.propose_house(houses, predicate, with_this, state)
    else: #We don't know where either the hockey or horse live
        return state
Ejemplo n.º 2
0
def the_neighbour_of(predicate, with_this, new_predicate, can_have_this, state):
    """
    If the house contains a predicate then the neighbouring house can have
    another predicate

    eg.  The man who keeps horses lives next to the one who plays hockey.

    If this house has horses
    THEN next door can have hockeybut not horses
    AND this house cannot have hockey

    :param str predicate: The predicate we are looking for.
    :param str with_this: Value to search with.
    :param str predicate: The predicate we will asign.
    :param str can_have_this: Value to the neighbour can have.
    :param dict state: The current state of the universe.
    """
    found_with_this = einstein.get_position(with_this, state)
    found_have_this = einstein.get_position(can_have_this, state)
    if found_with_this and found_have_this: #We have assigned these rules already
        return state
    elif found_with_this: #We only know where the horse lives
        houses = einstein.next_to(found_with_this)
        if len(houses) == 1:
            return einstein.assign_value(houses[0], new_predicate, can_have_this, state)
        else:
            return einstein.propose_house(houses, new_predicate, can_have_this, state)
    elif found_have_this: #We only know where the hockey is played
        houses = einstein.next_to(found_have_this)
        if len(houses) == 1:
            return einstein.assign_value(houses[0], predicate, with_this, state)
        else:
            return einstein.propose_house(houses, predicate, with_this, state)
    else: #We don't know where either the hockey or horse live
        return state
Ejemplo n.º 3
0
    def test_next_to_houses(self):
        """
        Some rules tell you that next to a house a certain condition is true.

        The white house is to the left of the green house.
        House 2 is to the right of house 1.
        1, 2, 3, 4, 5
        """
        self.assertIsNone(einstein.left_of('1'))
        self.assertIsNone(einstein.right_of('5'))
        self.assertIsNone(einstein.left_of('20'))
        self.assertEqual('1', einstein.left_of('2'))
        self.assertEqual('3', einstein.left_of('4'))
        self.assertEqual('3', einstein.right_of('2'))
        self.assertEqual(['2', '4'], einstein.next_to('3'))
        self.assertEqual(['2'], einstein.next_to('1'))
        self.assertEqual(['4'], einstein.next_to('5'))
Ejemplo n.º 4
0
    def test_next_to_houses(self):
        """
        Some rules tell you that next to a house a certain condition is true.

        The white house is to the left of the green house.
        House 2 is to the right of house 1.
        1, 2, 3, 4, 5
        """
        self.assertIsNone(einstein.left_of('1'))
        self.assertIsNone(einstein.right_of('5'))
        self.assertIsNone(einstein.left_of('20'))
        self.assertEqual('1', einstein.left_of('2'))
        self.assertEqual('3', einstein.left_of('4'))
        self.assertEqual('3', einstein.right_of('2'))
        self.assertEqual(['2', '4'], einstein.next_to('3'))
        self.assertEqual(['2'], einstein.next_to('1'))
        self.assertEqual(['4'], einstein.next_to('5'))