[00:02:56] *** Joins: }ls{HS (~}ls{@185.72.216.115) [00:03:16] *** Quits: }ls{HS (~}ls{@185.72.216.115) (K-Lined) [00:40:06] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [00:40:21] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [00:42:12] i did see your blog post but didnt read it, maybe if i have time tomorro before we talk [01:02:09] *** Quits: ski (~ski@ed-3358-10.studat.chalmers.se) (Killed (Sigyn (Spam is off topic on freenode.))) [01:27:26] *** Joins: ski (~ski@ed-3358-10.studat.chalmers.se) [01:59:26] wmacmil: no rush, it's a long post :-D in the section about formal language, I have this example in natural language https://gist.github.com/inariksit/76e34b5746ab1d13ec7dcd5cf0b7eb19#file-myoopeng-gf , which might be useful to look at [02:00:03] but if you've already made progress with aarne's grammar, maybe this one isn't so much new information anymore [03:10:27] *** Joins: drbean_ (~drbean@TC210-63-209-199.static.apol.com.tw) [03:25:26] *** Quits: drbean_ (~drbean@TC210-63-209-199.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) [04:50:05] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 240 seconds) [06:14:48] *** Quits: Patternm1ster (~georg@li1192-118.members.linode.com) (Quit: leaving) [06:15:05] *** Joins: Patternmaster (~georg@li1192-118.members.linode.com) [09:35:09] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [14:59:49] *** Quits: proteusguy (~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) (Quit: Leaving) [15:00:11] *** Joins: proteusguy (~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) [15:29:23] does someone know if anniepoo is around? [15:29:50] or someone else who also knows prolog? (prolog channel is... mute) [17:23:33] *** Joins: Lycurgus (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) [17:24:09] * Lycurgus didn know GF had a prolog aspect [17:30:22] i'm processing the 2011 book and Magnusson's ALF thesis to answer a question that came to mind from watching a talk Chomsky gave in December [17:31:21] i was stuck by how from anything useful the latter had to say other that establishing his so-called Galilean programme [17:31:52] and I wondered what the linguistic theory supporting GF was [17:32:39] I presume the answer is nothing, or at least nothing that would be recognizable as a theory of linguistics [17:33:32] but rather a collection of pragmatics to effect translation without any such pretensions [17:33:50] *by how far from [17:34:07] *other than [17:34:49] Lycurgus it doesn't, apart from being written in non-imperative language. but some ppl hanging out here do ¯\_(ツ)_/¯ [17:35:15] i c [17:35:30] what is your question? [17:37:58] anyway hang out in ##prolog, it's unlike it's "mute" as you say [17:38:05] *unlikely [17:38:13] *** Quits: Lycurgus (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) [17:46:23] I do hang out there. ofc it is not totally 'mute' but as good as. This is measured over last several days. [17:47:59] mostly I want to find out if I can use SWISH like a prolog shell, modifying knowledge bases, so that subsequent queries use a modified kb. in swish at least, the default is that it always uses the original version. which is fine most of the time, but not always [19:16:10] *** Quits: proteusguy (~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) (Remote host closed the connection)