what is prolog?in a logic program you write down facts and rules, and run the program by writing a query. a typical fact in prolog looks like this:
which means that
adult. in many ways this looks like a function, but it’s not; nothing gets returned by this line. a rule looks like this:
grandparent(X, Y) :- parent(X, Z), parent(Z, Y).
:-part can be read aloud as “is true if”. the whole rule can be read very naturally as “X is Y’s grandparent if X is the parent of Z, and Z is the parent of Y”. (in prolog, variables are written with capital letters). and then once you have your facts and rules written down, you run the program by writing a query. say you wrote this:
the program would try to find some
Xthat satisfied the conditions of the program that would make everythign true.
what is the wedding table problem?now that we’ve gotten those basics out of the way, let’s dive into the problem we’re going to solve. i’ve never had a wedding, but many of my friends have. a common problem, as i understand from second-hand experience, is how to set the seating arrangement. dozens of family and friends from all stages of life, in many cases coming from all over the country (or the world), to sit down at the same moment. it’s a big deal! complicating matters, from any given strata, your guests are probably friends with each other. but, crucially, some of your guests may hold grudges against others. being the good host that you are, you want to sit friends with each other, and keep people with grudges apart. this is all, of course, subject to the constraints to the number of tables and seats that the venue holds.
let’s work through the solutionlet’s start simple. first we need to know if two people are at the same table.
this is pretty self-explanatory. the
at_this_table(Person1, Person2, ThisTable) :- member(Person1, ThisTable), member(Person2, ThisTable).
membertests for set-membership. is
Person1in the set called
ThisTablebut, in general we’re not going to care much if two people are at a particular table, but rather that they’re both at the same table, whichever it is. to do that, we simply write the following.
first we now introduced this idea of
at_same_table(Person1, Person2, AllTables) :- member(ThisTable, AllTables), at_this_table(Person1, Person2, ThisTable). pair_at_same_table(Pair, AllTables) :- nth1(1, Pair, Person1), nth1(2, Pair, Person2), at_same_table(Person1, Person2, AllTables).
AllTables, which is a variable that will be important throughout the rest of the code. the first goal is basically just saying that, first, there is a table among all of the tables avaialable to us, and second, that that table contains both of the people we’re interested in. the second goal simply makes it a bit easier to work with a set containing both of the people in the pair. let’s move to the more dramatic issue: making sure that enemies don’t sit at the same table.
this one was a bit tough to write. first of all, it’d be trivially easy to satisfy this constraint by not sitting one of the people at any of the tables. to guard against that, we first have to make sure that both people are, in fact, sitting at one of the tables in
at_different_tables(Person1, Person2, AllTables) :- member(Table1, AllTables), member(Table2, AllTables), member(Person1, Table1), member(Person2, Table2), intersection(Table1, Table2, ).
AllTables. that’s what the first four lines are doing. the last line is just saying that neither of those tables share a common member: that they are different tables. there is probably a cleaner and more direct way of doing this, but it works, so ¯_(ツ)_/¯ writing this so we can handle pairs of people we get the following. the first line is just handling the special case where the “pair” is an empty set.
so, now we have a bit of a problem. it’d be really easy for the program to get around the constraints by making multiple copies of people! say you want david to sit with geoff, and geoff to sit with andrew, but you want to keep david and andrew apart. easy! geoff will sit in two places at once. if you don’t explicitly tell the program that this is not possible, that’s exactly what you’ll get. but, when i tried writing simple solutions to this, i kept running into code that would hang endlessly. some investigations of the debugger told me why. to understand it, you have to understand a bit about what it means to be a “ground” variable in a logic program.
pair_at_different_tables(, _) :- !. pair_at_different_tables(Pair, AllTables) :- nth1(1, Pair, Person1), nth1(2, Pair, Person2), at_different_tables(Person1, Person2, AllTables).
groundinglet’s say you’re solving a sudoku puzzle. in the early stages of solving it, if you were to enumerate all the options in each cell that you hadn’t eliminated yet, you might have something that looks like this:
most of the cells are not locked in yet. the 4 and 3 in the upper left have been resolved to single values, but everythign else in that 3×3 sector is still open. in this example, the 4 and 3 are “ground” — tied to a specific value, whereas the other cells are unground — they could still inhabit a range of values. when the logic program executes, it’s going to create a number of these unground variables that could take on a range of values. so if we were to stop the program mid-way and take a look at one of the tables in our arrangement, it would be a mix of people’s names and variables representing a range of possible people. when we want to make sure that someone is only at one table, we only care about these “ground” variables — those representing actual people. if we don’t do this, the
4 1679 12679 | 139 2369 269 | 8 1239 5 26789 3 1256789 | 14589 24569 245689 | 12679 1249 124679 2689 15689 125689 | 7 234569 245689 | 12369 12349 123469 ------------------------+------------------------+------------------------ 3789 2 15789 | 3459 34579 4579 | 13579 6 13789 3679 15679 15679 | 359 8 25679 | 4 12359 12379 36789 4 56789 | 359 1 25679 | 23579 23589 23789 ------------------------+------------------------+------------------------ 289 89 289 | 6 459 3 | 1259 7 12489 5 6789 3 | 2 479 1 | 69 489 4689 1 6789 4 | 589 579 5789 | 23569 23589 23689
program doesn’t really know how to execute, and just hangs. you’ll notice this
\+in the third goal below. that means “not”. let’s work through these goals in turn.
simple — this is just finding an X such that X is ground and part of Y
ground_member(X, Y) :- member(X, Y), ground(X).
sliiiightly more complicated. this is true if
ground_members_of_table(Table, GroundTable) :- findall(X, ground_member(X, Table), GroundTable).
GroundTablehas all of the “named” members of a table at any point in time. we’ll use that below.
as before, this pulls all of the “named” members into
not_ground_member_of_table(Person, AnotherTable) :- ground_members_of_table(AnotherTable, GroundTable), \+ member(Person, GroundTable).
GroundTableand the next line ensures that the person we’re testing is not part of that set. finally we get to the end:
which very simply does a bit of work to create all the tables the person should not be at (any other table than the one they’re currently at), and then ensures that the person is, in fact, not at any of those other tables. we’re so close! now, we just have to make sure that our computer doesn’t do any funny stuff by making some tables magically large or small on us. we need a way to constrain the tables to be as large as we want. so below we have
only_at_one_table(Person, AllTables) :- member(Table1, AllTables), member(Person, Table1), subtract(AllTables, [Table1], OtherTables), foreach(member(AnotherTable, OtherTables), not_ground_member_of_table(Person, AnotherTable)).
assign_length, which for reasons that will make sense below, assume that you have a list of tables and a list of lengths that you want to map to them, and this works for one member (at the specified index
okay, so now we can pull all this together. this is the final goal which we can query to find arrangements that will work! going through it line by line, it’s pretty straightfoward. the first three lines ensure that there will only be as many tables as we want, and that they will have only as many seats as we want. the fourth line ensures that pairs that we want to sit together are at the same table, and that pairs that we want to sit apart are at different tables. the last two lines ensure that everyone is just sitting at one table.
assign_length(Idx, AllTables, Lengths) :- nth1(Idx, AllTables, ThisTable), nth1(Idx, Lengths, LengthOfThisTable), length(ThisTable, LengthOfThisTable).
run this code, and what do you get?
arrangement(Tables, Lengths, Pairs, Exclusions) :- length(Tables, Y), length(Lengths, Y), foreach(between(1, Y, X), assign_length(X, Tables, Lengths)), foreach(member(Pair, Pairs), pair_at_same_table(Pair, Tables)), foreach(member(Excl, Exclusions), pair_at_different_tables(Excl, Tables)), flatten(Pairs, AllPeople), foreach(member(Person, AllPeople), only_at_one_table(Person, Tables)).
and impossible arrangements will fail:
?- arrangement([X,Y], [3,3], [[a,b], [c,d]], [[a,c]]). X = [a, b, a], Y = [c, d, c] % variables may be duplicated within the same table if there is space
?- arrangment([X,Y], [3,3], [[a,b], [c,d]], [[a,b]]). false.