| *** ChanServ sets mode: +o klip | 00:34 | |
| *** klip sets mode: -b mr_tau!*@* | 00:39 | |
| *** klip sets mode: -b $~z | 00:57 | |
| *** Joins: mr_tau (~mr_tau@tau.builders) | 00:57 | |
| klip | mr_tau: .help. | 00:58 |
|---|---|---|
| *** klip sets mode: +v mr_tau | 00:58 | |
| klip | mr_tau: .help. | 00:58 |
| mr_tau | # Each user can create slots and switch between them. Each slot has its own pair of a data database and a program database. | 00:58 |
| mr_tau | # Data database contains only facts which are updated by executing TML code. | 00:58 |
| mr_tau | # Program database contains rules. Use '+RULE' or '-RULE' to add/remove rule to/from a program database. | 00:58 |
| mr_tau | # Use ':SLOT' to switch to another slot. Initial slot is called 'default'. | 00:58 |
| mr_tau | # REPL commands are prefixed by a comma '.'. Use command '.list.' to get list of commands. Use '.help(COMMAND).' to get help for a command. | 00:58 |
| *** ChanServ sets mode: +v mr_tau | 00:59 | |
| klip | mr_tau: .db. | 00:59 |
| mr_tau | # Listing database: | 00:59 |
| mr_tau | a(1). | 00:59 |
| mr_tau | b(1). | 00:59 |
| klip | mr_tau: .rules. | 00:59 |
| mr_tau | # Listing rules: | 00:59 |
| klip | mr_tau: .add(rule "c(?x) :- b(?x)."). | 01:00 |
| mr_tau | # Added rule: c(?x) :- b(?x). | 01:00 |
| klip | mr_tau: .run. | 01:00 |
| mr_tau | # Running: | 01:00 |
| mr_tau | a(1). | 01:00 |
| mr_tau | b(1). | 01:00 |
| klip | rozbity | 01:00 |
| klip | mr_tau: .run. | 01:05 |
| mr_tau | # Running: | 01:05 |
| mr_tau | a(1). | 01:05 |
| mr_tau | b(1). | 01:05 |
| mr_tau | c(1). | 01:05 |
| klip | fixed | 01:05 |
| *** klip sets mode: -o klip | 01:06 | |
| klip | bot source (almost actual version): https://github.com/IDNI/Tau-Alpha/tree/master/irc | 01:08 |
| blondina | Tau-Alpha/irc at master · IDNI/Tau-Alpha · GitHub | 01:08 |
| *** Quits: Lightkey (~Darklock@p579ABFFC.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) | 02:32 | |
| *** Joins: Lightkey (~Darklock@p200300F693C0488322CF30FFFE083718.dip0.t-ipconnect.de) | 02:35 | |
| *** ChanServ sets mode: +v Lightkey | 02:35 | |
| *** Quits: Mikaela (thelounge@unaffiliated/mikaela) (Quit: Mikaela) | 12:18 | |
| *** Joins: Mikaela (Mikaela@unaffiliated/mikaela) | 12:19 | |
| *** ChanServ sets mode: +v Mikaela | 12:19 | |
| *** Quits: Lightkey (~Darklock@p200300F693C0488322CF30FFFE083718.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) | 15:49 | |
| *** Joins: Lightkey (~Darklock@p200300F693C0486622CF30FFFE083718.dip0.t-ipconnect.de) | 16:01 | |
| *** ChanServ sets mode: +v Lightkey | 16:01 | |
| *** Quits: DaShamil[m] (notetestdi@gateway/shell/matrix.org/x-vssagpkmafcdkujw) (Quit: User has been idle for 30+ days.) | 17:07 | |
| *** Quits: Mikaela (Mikaela@unaffiliated/mikaela) (Quit: Mikaela) | 19:28 | |
| *** Joins: Mikaela (Mikaela@unaffiliated/mikaela) | 19:29 | |
| *** ChanServ sets mode: +v Mikaela | 19:29 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!