| --- Log opened Sun Apr 21 00:00:35 2013 |
| 00:02 | <&Derakon> | Gonna have to go AFK for a bit. |
| 00:03 | | Derakon is now known as Derakon[AFK] |
| 00:08 | <@EvilDarkLord> | Derakon[AFK]: You can try using a collections.deque, it has fast append and pop. |
| 00:08 | < RichyB> | Derakon[AFK]: I have it from 5.6s on a 1024x1024 grid down to 0.36s on the same. |
| 00:09 | < RichyB> | I'll need a moment to frotz this into git somewhere you can see it. |
| 00:10 | < RichyB> | er, sorry |
| 00:10 | < RichyB> | 0.036s, even. |
| 00:17 | <@EvilDarkLord> | Can I have a look at that code? |
| 00:22 | < RichyB> | Of course! https://github.com/RichardBarrell/heatmap-for-Derakon |
| 00:23 | < RichyB> | original.py is Derakon's code plus a little test/timing harness. |
| 00:23 | < RichyB> | cmap.py and _cmap.c are the hopefully-faster C equivalent. |
| 00:23 | < RichyB> | Derakon[AFK]: https://github.com/RichardBarrell/heatmap-for-Derakon |
| 00:26 | < RichyB> | EvilDarkLord: so, I replaced the Python list with .pop(0), or collections.deque() with .popleft(), with a straightforward circular queue stored in a compact array. |
| 00:27 | < RichyB> | Um, and Derakon had a dict that was being used to track which cells should not be used because either a) they've already been visited or b) they're obstacles. |
| 00:27 | < RichyB> | I replaced that with a bitset. |
| 00:28 | < RichyB> | The rest of the speedup is just down to "gcc is better at going fast than Python" ;P |
| 00:35 | <@EvilDarkLord> | Cool. I have nothing to add to this. I was thinking about whether you could do faster BFS by skipping on the comparisons and just doing a spiral around the goalpoint until you hit a wall for the first time, but that would only help on very open maps. |
| 00:36 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 00:36 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 00:37 | <@EvilDarkLord> | (Also, presumably premature optimization, since 0.036s for a 1024x1024 map sounds pretty fast) |
| 00:37 | | celmin|away is now known as celmin|supper |
| 00:37 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [Client closed the connection] |
| 00:41 | < RichyB> | That sounds more "mature" than "premature" to me. |
| 00:44 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 00:44 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 01:02 | < RichyB> | ooh, I still have segfault bugs. Yummy. |
| 01:14 | <~Vornicus> | Hooray! |
| 01:17 | < RichyB> | Oh, I had x and y the wrong way around in another function, no wonder. |
| 01:39 | | Derakon[AFK] is now known as Derakon |
| 01:39 | | * Derakon reads up. |
| 01:39 | <&Derakon> | RichyB: thanks! |
| 01:40 | <&Derakon> | I really wish Python would just be faster about this though. :( |
| 01:40 | <&Derakon> | One of the big wins for me when it comes to Python is having write-once-run-anywhere code, but if there's a compile step then we lose that. |
| 01:40 | <&Derakon> | Granted this particular compile step is about as trivial as it gets... |
| 01:42 | < RichyB> | I'm not quite done with it. |
| 01:42 | < RichyB> | I think that the way I went about asking numpy to hand the array over to ctypes isn't quite right? |
| 01:42 | | * RichyB is still fiddling with that. |
| 01:42 | <&Derakon> | I thought numpy arrays could just be passed over more or less directly; there's a member variable that's their memory buffer, which is just a straight array of numbers. |
| 01:43 | | * RichyB headscratch. |
| 01:43 | < RichyB> | They're not guaranteed to be in the right layout. |
| 01:44 | < RichyB> | And ndarray can actually be a view on a subset of another ndarray, for instance. |
| 01:44 | <&Derakon> | Ah, fair point. I guess the array you're working with could be a view of another array with e.g. a different step size. |
| 01:44 | < RichyB> | They can also be views of immutable Python strings, for instance. :/ |
| 01:44 | <&Derakon> | Wut |
| 01:44 | < RichyB> | I think? I'm not 100% on that. |
| 01:45 | < RichyB> | There's at least one situation hinted at in the docs where you can have an ndarray backed by a str. |
| 01:51 | < RichyB> | Okay, last push 7301f7f2 - I don't plan to do anything more with it unless you find a bug. :) |
| 01:51 | <&Derakon> | Sure thing. Thanks for doing as much as you have. :) |
| 01:52 | <&Derakon> | Any objections to this being added to a GPLv2 project? |
| 01:52 | < RichyB> | um, hrmn |
| 01:52 | < RichyB> | oh ffs |
| 01:53 | <&Derakon> | I guess otherwise I can just use it as inspiration for making my own version. |
| 01:53 | < RichyB> | Derakon: no, I was going to slap the FreeBSD 2-clause license on it. |
| 01:53 | <&Derakon> | Ah, heh. |
| 01:53 | <&Derakon> | Well, that's a more liberal license; can't they coexist? |
| 01:53 | <&Derakon> | This portion could be marked as BSD while the rest of the project would be "GPLv2 unless otherwise noted." |
| 01:53 | < RichyB> | The "oh, FFS" was me only just realising that numpy seems to order the ndarray.shape array as [y, x] when I was thinking it would be [x, y] |
| 01:53 | <&Derakon> | Ahh. |
| 01:54 | <&Derakon> | Yeah, xy/yx ordering is a pain. |
| 01:54 | < RichyB> | Derakon: yeah, by 2BSD I mean explicitly "do whatever you wish with this". I have no problem with you putting it in a GPL project. |
| 01:54 | < RichyB> | I'll put a LICENSE.txt in now. ? |
| 01:54 | <&Derakon> | Righto, thankee. |
| 01:55 | | celmin|supper is now known as celticminstrel |
| 02:03 | | gnolam [lenin@Nightstar-b2aa51c5.cust.bredbandsbolaget.se] has quit [Client closed the connection] |
| 02:04 | | gnolam [lenin@Nightstar-b2aa51c5.cust.bredbandsbolaget.se] has joined #code |
| 02:04 | | mode/#code [+o gnolam] by ChanServ |
| 02:08 | < RichyB> | Derakon: 6eee2e7cbf2 slaps a permissive license over everything except original.py (which I don't actually own, because you wrote it, not me) |
| 02:09 | | gnolam_ [lenin@Nightstar-b2aa51c5.cust.bredbandsbolaget.se] has joined #code |
| 02:09 | | gnolam is now known as NSGuest47766 |
| 02:09 | < RichyB> | It's the most simplified version I could find of the 2-clause BSD license, so it's perfectly fine to slap the GPL on top of it if you wish. Knock yourself out. ^_^ |
| 02:10 | <&Derakon> | Great, thanks! |
| 02:12 | | NSGuest47766 [lenin@Nightstar-b2aa51c5.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
| 02:12 | < RichyB> | Pester me on here if you run into any bugs. Note that I copied your algorithm for finding where the walls are, but haven't tested it. |
| 02:12 | < RichyB> | I'm hoping that you have a better unit test suite than me. :) |
| 02:13 | <&Derakon> | I have, uh, four unit tests. :) |
| 02:13 | <&Derakon> | Haven't tested it yet, been distracted. But I definitely will sometime today. |
| 02:20 | | gnolam_ is now known as gnolam |
| 02:20 | | mode/#code [+o gnolam] by ChanServ |
| 02:26 | | Thalass [thalass@Nightstar-f97b970e.bigpond.net.au] has quit [[NS] Quit: omgherd] |
| 02:30 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 02:31 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 02:31 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 02:37 | < RichyB> | Derakon: what's appropriate behaviour for unreachable squares? |
| 02:39 | < RichyB> | I'm thinking that the most useful thing for the pathfinder would be to return -1 for squares that aren't attached to the goal, so that the pathfinder knows that they can't be reached. |
| 02:39 | <&Derakon> | RichyB: yeah, that's what my current code should be doing. |
| 02:39 | <&Derakon> | Though I admit I haven't made a unit test for that yet. |
| 02:41 | < RichyB> | Is diagonal movement allowed? |
| 02:41 | <&Derakon> | Yes, equal cost to orthogonal movement. |
| 02:41 | < RichyB> | So if I have a maze like [[1 0], [0, 1]] am I allowed to squeeze through the gap? |
| 02:41 | <&Derakon> | Yes. |
| 02:41 | < RichyB> | Okay, no need to modify for that then. Ta. |
| 02:42 | <&Derakon> | I generally think of walls as being squares rotated 45?. |
| 02:42 | <&Derakon> | So you can't fit through two walls orthogonally next to each other because the corners touch. But diagonally adjacent walls have a gap. |
| 02:43 | < RichyB> | k |
| 02:46 | < RichyB> | I just pushed some, uh, not actually unit-tests, but what the Hell they'll do. |
| 02:46 | <&Derakon> | Hee. |
| 02:46 | < RichyB> | There's now a little maze hardcoded in cmap.py |
| 02:48 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 02:48 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [NickServ (GHOST command used by Derakon_)] |
| 02:48 | | Derakon_ is now known as Derakon |
| 02:48 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 02:49 | < RichyB> | Derakon: last line I sent was "There's now a little maze hardcoded in cmap.py" |
| 02:49 | <&Derakon> | Yes, I saw. |
| 02:49 | < RichyB> | I should find out if there's a way to have setup.py to _cmap.so without turning it into a C extension (since Python C extensions kinda suck under PyPy) |
| 02:50 | | syksleep is now known as Syk |
| 03:12 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 03:12 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [NickServ (GHOST command used by Derakon_)] |
| 03:12 | | Derakon_ is now known as Derakon |
| 03:12 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 03:37 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 03:37 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 03:41 | | Derakon_ is now known as Derakon |
| 03:42 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 03:57 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 04:00 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 04:12 | | Kindamoody[zZz] is now known as Kindamoody |
| 04:13 | | gnolam_ [lenin@Nightstar-b2aa51c5.cust.bredbandsbolaget.se] has joined #code |
| 04:13 | | gnolam is now known as NSGuest10352 |
| 04:13 | | gnolam_ is now known as gnolam |
| 04:13 | | mode/#code [+o gnolam] by ChanServ |
| 04:16 | | NSGuest10352 [lenin@Nightstar-b2aa51c5.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
| 04:35 | | VirusJTG [VirusJTG@Nightstar-09c31e7a.sta.comporium.net] has quit [[NS] Quit: Program Shutting down] |
| 04:36 | | celticminstrel [celticminst@Nightstar-e83b3651.cable.rogers.com] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 04:47 | | Turaiel[Offline] is now known as Turaiel |
| 04:58 | < Derakon_> | RichyB: what invocation did you use to compile _cmap.c? |
| 05:05 | < Derakon_> | After some manual casting of "void*"s to appropriate types, I got it to compile with "g++ -o _cmap.so -c cmap.c" but when I try to run cmap.py I get an error "./_cmap.so: file too short". |
| 05:11 | < RichyB> | Derakon_: I usually put the invocation at the very top of the file |
| 05:12 | < RichyB> | Oh, in this case I put it at the top of cmap.py by accident instead |
| 05:12 | < Derakon_> | Oh, there it is, in cmap.py. |
| 05:12 | < Derakon_> | Ta. |
| 05:12 | < Derakon_> | Okay, got that running, now to integrate it into my current test suite. |
| 05:14 | < Derakon_> | Hm, one of my unit tests failed |
| 05:15 | < Derakon_> | Looks like x/y confusion. |
| 05:15 | < RichyB> | :( |
| 05:15 | < Derakon_> | The map vs. the goal coords; one of them isn't being treated the same way as the other. |
| 05:16 | < RichyB> | Mebbe I have the x and y coords of the goal squares swapped? |
| 05:16 | < Derakon_> | I think so. |
| 05:16 | < RichyB> | Yeah. Numpy's thing of printing y as rows keeps confusing me. |
| 05:17 | < Derakon_> | Hm, tried naively swapping them and the maze hung completely. |
| 05:18 | < Derakon_> | Well, I'll dig into it more later. A bit late for me to brain effectively. |
| 05:20 | | * RichyB scratches noggin. |
| 05:20 | < RichyB> | Could you put this failing test up somewhere where I could see it, perhaps? |
| 05:22 | < Derakon_> | Sure, but it has X/Y confusion of it's own, I'm afraid (just in that the comparison of inputs and outputs is confusing). |
| 05:23 | < Derakon_> | http://pastebin.com/y9AR9mJF |
| 05:25 | < RichyB> | Ta. |
| 05:29 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 05:29 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 05:29 | < RichyB> | Derakon: your goal coords in that test script disagree with numpy's coordinates. |
| 05:31 | < RichyB> | oh that's awful |
| 05:31 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 05:32 | < RichyB> | Or maybe not; I'm getting increasingly mixed up too. :) |
| 05:32 | <&Derakon> | Yeah, sorry about that. |
| 05:32 | <&Derakon> | That test script is not one of my best. |
| 05:34 | < RichyB> | No worries. |
| 05:34 | < RichyB> | Bah, I'm going to go sleep. |
| 05:35 | < RichyB> | But the test script agrees with cmap.py's results iff you swap the coords in the goals arrays. |
| 05:37 | < Syk> | oh god damn it |
| 05:38 | < Syk> | pycon australia is in hobart :( |
| 05:39 | < Syk> | that is literally the furtherest away part of Australia from where I am :( |
| 05:50 | | Derakon_ [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 05:53 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 05:53 | | Derakon_ is now known as Derakon |
| 05:53 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 06:03 | | RichyB [richardb@Nightstar-86656b6c.cable.virginmedia.com] has quit [Ping timeout: 121 seconds] |
| 06:13 | | Kindamoody is now known as Kindamoody|out |
| 06:26 | | RichyB [richardb@Nightstar-86656b6c.cable.virginmedia.com] has joined #code |
| 06:33 | <&Derakon> | RichyB: got it integrated, it's nice and speedy, with the caveat that there's an infinite loop somewhere in there. :) |
| 06:33 | <&Derakon> | I'll dig into it tomorrow, maybe. |
| 06:40 | | Derakon is now known as Derakon[AFK] |
| 06:53 | | ErikMesoy|sleep is now known as ErikMesoy |
| 07:35 | | Turaiel is now known as Turaiel[Offline] |
| 07:44 | | Vash [Vash@Nightstar-221158c7.sd.cox.net] has joined #code |
| 07:44 | | mode/#code [+o Vash] by ChanServ |
| 07:56 | | RichyB [richardb@Nightstar-86656b6c.cable.virginmedia.com] has quit [Ping timeout: 121 seconds] |
| 08:16 | | Kindamoody|out is now known as Kindamoody |
| 10:07 | | Kindamoody is now known as Kindamoody|afk |
| 10:36 | | Xon [Xon@Nightstar-362effcc.highway1.net.au] has quit [[NS] Quit: No Ping reply in 180 seconds.] |
| 10:37 | | Xon [Xon@Nightstar-362effcc.highway1.net.au] has joined #code |
| 10:54 | | Vash [Vash@Nightstar-221158c7.sd.cox.net] has quit [[NS] Quit: I lovecraft Vorn! <3] |
| 11:08 | | thalass [thalass@C2A270.1179B7.313116.0E50D0] has joined #code |
| 12:26 | | thalass [thalass@C2A270.1179B7.313116.0E50D0] has quit [[NS] Quit: Leaving] |
| 12:34 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving] |
| 13:02 | | VirusJTG [VirusJTG@Nightstar-09c31e7a.sta.comporium.net] has joined #code |
| 13:25 | <@Tarinaky> | I am having a serious headache figuring out how to approach this Prolog assignment sensibly :/ |
| 13:49 | <@Tarinaky> | Okay. I am having a serious headache trying to get prolog to do anything non-trivial sensibly :/ |
| 13:51 | | himi [fow035@Nightstar-5d05bada.internode.on.net] has quit [Ping timeout: 121 seconds] |
| 13:54 | | himi [fow035@Nightstar-5d05bada.internode.on.net] has joined #code |
| 13:54 | | mode/#code [+o himi] by ChanServ |
| 14:42 | | celticminstrel [celticminst@Nightstar-e83b3651.cable.rogers.com] has joined #code |
| 14:42 | | mode/#code [+o celticminstrel] by ChanServ |
| 15:33 | <@Azash> | Tarinaky: s/this ([^ ]* )assignment/\1/ |
| 15:33 | <@Tarinaky> | ? |
| 15:39 | < ErikMesoy> | "I am having a serious headache figuring out how to approach Prolog sensibly :/" ? |
| 15:40 | < AnnoDomini> | Prolog is not for everyone. It's, like, totally weird. |
| 15:43 | <@Tarinaky> | I am aware. |
| 15:43 | <@Tarinaky> | I have an assignment to do in it. |
| 15:43 | <@Tarinaky> | I am unable to do my assignment. |
| 15:43 | <@Tarinaky> | So I've found an exercise that's easier, but still outside my abilities. |
| 15:44 | <@Tarinaky> | I am still unable to figure out wtf prolog. |
| 15:44 | <@Tarinaky> | I've found some examples that are, I think, similar... |
| 15:44 | <@Azash> | ErikMesoy: Ding ding ding |
| 15:44 | <@Tarinaky> | But I have no idea what those examples are doing. |
| 15:44 | < AnnoDomini> | What is your assignment? |
| 15:45 | <@Tarinaky> | Some sort of knowledge base that's meant to infer what political party an individual should vote for based on some criteria. |
| 15:46 | <@Tarinaky> | It's a bit fuzzily defined, hence why I'm trying to do a different exercise first. |
| 15:46 | <@Tarinaky> | I'm currently trying to do "Telephone Conversation" from this http://www.cis.upenn.edu/~matuszek/cis554-2012/Assignments/prolog-01-logic-puzzl e.html |
| 15:48 | < AnnoDomini> | You know how to do a knowledge base in Prolog? |
| 15:48 | <@Tarinaky> | Yeah. I think so. |
| 15:49 | <@Tarinaky> | I'm mostly working in the interactive compiler, give me a second to re-create what I got working earlier as a test case. |
| 15:49 | <@Tarinaky> | (I didn't think anyone here had knowledge of prolog). |
| 15:50 | < AnnoDomini> | I had Prolog in university, but I'm afraid it's too rusty to be of much use. |
| 15:51 | < AnnoDomini> | I think you need to put in the knowledge given into assignment in a Prolog-legible form (as statements), then ask the proper question of it. |
| 15:53 | < AnnoDomini> | What are the solutions you've found? |
| 15:56 | <@Tarinaky> | http://pastebin.com/SrrKxXjB |
| 15:56 | <@Tarinaky> | Here's where I am at atm. |
| 15:59 | <@Tarinaky> | Noting that my not_first_exchange rules don't work at all. |
| 16:00 | <@Tarinaky> | And I haven't figured out how to make it such that each year and exchange can only be assigned once. |
| 16:00 | <@Tarinaky> | Also: it looks nothing like other people's prolog programs. |
| 16:02 | < AnnoDomini> | Not sure what you might be doing wrong. |
| 16:05 | < AnnoDomini> | Why are you negating just B in the not_first_exchange rule? |
| 16:06 | <@Tarinaky> | Because I have no clue what I'm doing. |
| 16:06 | <@Tarinaky> | I asked the lecturer to go through negation as an example and he just trollface.jpg'd at me :/ |
| 16:07 | < AnnoDomini> | Make a simpler program and try to figure out whether your not_ stuff actually works. |
| 16:07 | <@Tarinaky> | My not-stuff doesn't work. |
| 16:08 | < AnnoDomini> | What happens if you replace the first not_line with "not_first_exchange(A, B, C) :- \+ first_exchange(A, B, C)."? |
| 16:14 | <@Tarinaky> | It's still suggesting 1932 and al at the same time. |
| 16:15 | <@Tarinaky> | It's also suggesting Wallace with exchanges other than al. |
| 16:23 | | * AnnoDomini gets a prolog interpreter. |
| 16:33 | | * AnnoDomini thinks, fiddles. |
| 16:42 | <@Tarinaky> | Blarg. This isn't working at all for me :/ |
| 16:47 | | RichyB [richardb@Nightstar-86656b6c.cable.virginmedia.com] has joined #code |
| 17:28 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 17:28 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 17:30 | | Derakon[AFK] [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 17:35 | < AnnoDomini> | Tarinaky: It's been too long since I did any Prolog stuff. I couldn't find a solution on my own. However, thanks to my Advanced Googling skill, I was able to find a solution to this very problem: http://pastie.org/7683189 |
| 17:36 | < AnnoDomini> | (Found it posted on Stack Overflow.) |
| 17:36 | <@Tarinaky> | Didnb't realise I'd disconnected. |
| 17:36 | <@Tarinaky> | The big issue is I need a lot of commentary. |
| 17:37 | <@Tarinaky> | As otherwise I'm just fiddling blindly :/. |
| 17:37 | | Syk is now known as syksleep |
| 17:38 | | Turaiel[Offline] is now known as Turaiel |
| 17:41 | < AnnoDomini> | Tarinaky: http://pastie.org/7683228 - Better? |
| 17:41 | < AnnoDomini> | I can help you no further. This solution is probably above the skills I had when I did Prolog. |
| 17:41 | <@Tarinaky> | Fair. |
| 17:41 | <@Tarinaky> | I'm taking a break before I kill something :/ |
| 17:42 | < AnnoDomini> | I can understand the program when I read it, but I probably couldn't have written it myself. |
| 17:43 | <@Tarinaky> | A lot of the stuff on stack overflow has too much penis-wavingly shortness. "Look as I solve the problem in 1 unreadible line". |
| 17:43 | <@Tarinaky> | :p |
| 18:01 | <@Tarinaky> | Any clue how to alias a list to a name? |
| 18:03 | <@Tarinaky> | Oh hang on a sec. |
| 18:03 | <@Tarinaky> | The code example you sent me finds multiople solutions >.< |
| 18:04 | < AnnoDomini> | It finds me only one solution. That is, four sets of name/exchange/year. |
| 18:05 | < AnnoDomini> | This is the source: http://stackoverflow.com/questions/15849184/solve-in-prolog-resulting-in-false |
| 18:05 | <@Tarinaky> | Ah, was missing an assertion. |
| 18:05 | | Turaiel is now known as Turaiel[Offline] |
| 18:10 | <@Tarinaky> | aIdly, the first two lines arenm't used at all. |
| 18:10 | <@Tarinaky> | God damn it, my internet is failing hard this evening :/ |
| 18:15 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 18:16 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 18:16 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 18:17 | | Turaiel[Offline] is now known as Turaiel |
| 18:26 | | Orthia [orthianz@3CF3A5.E1CD01.B089B9.1E14D1] has quit [Ping timeout: 121 seconds] |
| 18:39 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 18:39 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 18:39 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 19:16 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 19:16 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 19:17 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 19:18 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 19:18 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 19:30 | | RichyB [richardb@Nightstar-86656b6c.cable.virginmedia.com] has quit [Ping timeout: 121 seconds] |
| 19:41 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 19:42 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 19:42 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 19:49 | | Kindamoody|afk is now known as Kindamoody |
| 20:09 | | RichyB [richardb@Nightstar-86656b6c.cable.virginmedia.com] has joined #code |
| 20:24 | | RichyB [richardb@Nightstar-86656b6c.cable.virginmedia.com] has quit [[NS] Quit: >:3 This is BunThulhu. Copy him into your quit message to help him take over the Internet.] |
| 20:27 | | RichyB [richardb@Nightstar-86656b6c.cable.virginmedia.com] has joined #code |
| 20:30 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 20:31 | | Derakon [Derakon@Nightstar-a3b183ae.ca.comcast.net] has joined #code |
| 20:31 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 20:34 | | Chutzpah [Moltare@583787.FF2A18.190FE2.4D81A1] has quit [Ping timeout: 121 seconds] |
| 20:37 | | Turaiel is now known as Turaiel[Offline] |
| 20:38 | | Chutzpah [Moltare@583787.FF2A18.190FE2.4D81A1] has joined #code |
| 20:44 | | Kindamoody is now known as Kindamoody[zZz] |
| 20:46 | | AnnoDomini is now known as Institutionalized |
| 21:09 | | Turaiel[Offline] is now known as Turaiel |
| 21:31 | | Orthia [orthianz@3CF3A5.E1CD01.B089B9.1E14D1] has joined #code |
| 21:31 | | mode/#code [+o Orthia] by ChanServ |
| 21:43 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving] |
| 22:45 | | ErikMesoy is now known as ErikMesoy|sleep |
| 22:47 | | himi [fow035@Nightstar-5d05bada.internode.on.net] has quit [Connection closed] |
| 22:50 | | Orthia [orthianz@3CF3A5.E1CD01.B089B9.1E14D1] has quit [[NS] Quit: Going dooooown...] |
| 22:58 | | Orthia [orthianz@3CF3A5.E1CD01.B089B9.1E14D1] has joined #code |
| 22:58 | | mode/#code [+o Orthia] by ChanServ |
| 23:00 | | gnolam [lenin@Nightstar-b2aa51c5.cust.bredbandsbolaget.se] has quit [Client closed the connection] |
| 23:00 | | gnolam [lenin@Nightstar-b2aa51c5.cust.bredbandsbolaget.se] has joined #code |
| 23:00 | | mode/#code [+o gnolam] by ChanServ |
| 23:02 | | Turaiel is now known as Turaiel[Offline] |
| 23:08 | | Turaiel[Offline] is now known as Turaiel |
| 23:16 | | Turaiel is now known as Turaiel[Offline] |
| --- Log closed Mon Apr 22 00:00:50 2013 |