| klip | :) `.help("<") | 02:23 |
|---|---|---|
| mr_tau | # Prefix '<' is used to load data from another slot or user/slot. '<SLOT' is a shortcut of 'load(SLOT).' | 02:23 |
| klip | :) `.help("<<") | 02:23 |
| mr_tau | # Prefix '<<' is used to load rules from another slot or user/slot. '<<SLOT' is a shortcut of 'load_rules(SLOT).' | 02:23 |
| klip | ja to mam ve slotu mbti a mbti_functions, takze nemusim uvadet usera | 02:24 |
| klip | jinej user musi dat `<<mbti@klip | 02:24 |
| mr_tau | # Loading rules: mbti@klip | 02:24 |
| klip | resp < | 02:24 |
| klip | a <<mbti_rules@klip | 02:24 |
| klip | :uplne_novy_slot | 02:25 |
| klip | `:uplne_novy_slot | 02:25 |
| mr_tau | # Selected slot : uplne_novy_slot | 02:25 |
| klip | `<mbti@klip | 02:25 |
| mr_tau | # Loading data: mbti@klip | 02:25 |
| klip | aha, ne rules, ale functions... takze spravne: `<<mbti_functions@klip | 02:25 |
| mr_tau | # Loading rules: mbti_functions@klip | 02:25 |
| klip | `.rules | 02:26 |
| mr_tau | # Listing rules: | 02:26 |
| mr_tau | mbti_functions(?mbti ?fn1 ?fn2 ?fn3 ?fn4) :- mbti_type(?mbti ?dir1 ?f1 ?f2), directions(?dir2), ?dir2 != ?dir1, cognitive_function(?fn1 ?f1 ?dir1 ?f4), cognitive_function(?fn2 ?f2 ?dir2 ?f3), cognitive_function(?fn3 ?f3 ?dir1 ?f2), cognitive_function(?f | 02:26 |
| mr_tau | n4 ?f4 ?dir2 ?f1). | 02:26 |
| klip | tohle pravidlo z dostupnejch dat vypise functional stack kazdyho typu. dostupny data josu kognitivni funkce, typ, smer, opacnej typ; a taky to jsou typy MBTI smer, typ prvni funkce a typ druhy funkce. | 02:29 |
| klip | plus je tam tabulka, kde jsou dva mozny smery I nebo E. | 02:30 |
| klip | a to pravidlo ti unifikaci najde mozny kombinace. | 02:30 |
| klip | mbti_functions je vlastne relace/tabulka kde mas sloupce mbti, fn1, fn2, fn3, fn4. direction je tabulka, ktera ma jen 1 sloupec dir. | 02:31 |
| klip | a :- se da cist jako IF. nebo se tomu da rikat update operator. | 02:31 |
| klip | leva strana se jmenuje head, prava strana se jmenuje body. | 02:32 |
| klip | cf, Horn clause | 02:32 |
| klip | pokud je body true, tak je head true. | 02:33 |
| *** Quits: Lightkey (~Darklock@p200300F693C0480722CF30FFFE083718.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) | 15:38 | |
| *** Joins: Lightkey (~Darklock@p200300F693C0487622CF30FFFE083718.dip0.t-ipconnect.de) | 15:51 | |
| *** ChanServ sets mode: +v Lightkey | 15:51 | |
| *** Quits: mr_tau (~mr_tau@tau.builders) (Excess Flood) | 18:09 | |
| *** Joins: mr_tau (~mr_tau@tau.builders) | 18:09 | |
| *** ChanServ sets mode: +v mr_tau | 18:09 | |
| *** Quits: mr_tau (~mr_tau@tau.builders) (Excess Flood) | 19:04 | |
| *** Joins: mr_tau (~mr_tau@tau.builders) | 19:29 | |
| *** ChanServ sets mode: +v mr_tau | 19:29 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!