逻辑学与Prolog学习笔记

int a = 3 + 5; 很自然。如果Matrix a, b要加呢？没有运算符重载，a + b是不行的，只能add(a, b). int a = add(3, 5)也行。如果函数名可以用+呢？+(a, b); +(3, 5). 如果括号和逗号是多余的呢？3 + 5叫中缀表达式，+35叫前缀表达式或波兰式，还有35+后缀/逆波兰式。前缀的好处之一是没有歧义，例如+3*25和+32*5分别相当于中缀的3+2*5和(3+2)*5。中缀要规定运算符优先级，前后缀不需要，为啥我没明白，和“结合律”有关？add是个操作/动作，想到动词verb，动词有宾语，不止一个。is和give也是动词。tom is cat (不聊英语语法)，give man horse, give horse man. 动词做谓语，谓词。

Prolog是个好语言，可我咋觉得发明者和写例子的人的英语都诡异呢? cat(tom), friend(sheldon, kripie). 没有catize(猫化)这个词，有befriend这个词。is是动词，除了描述动作，还有/更多陈述事实/命题。有多元谓词。

推理即搜索？

Tom BE Cat
Cat HAVE Leg
>>>Tom HAVE Leg
yes

Penny, Leonard, Raj BE Person
Penny LIKE Leonard; Leonard LIKE Penny; Raj LIKE Penny
this BE_GOOD_COUPLE that IF this LIKE that AND that LIKE this
>>>Penny BE_GOOD_COUPLE Raj
no

Kitchen CONNECTED_TO Hall; Hall CONNECTED_TO Bedroom
Robot AT Kitchen
DEFINE here GOTO there AS NOLONGER AT here and AT there IF AT here AND here CONNECTED_TO there
>>>Robot GOTO Bedroom
no
>>>why
Bedroom no CONNECTED_TO Kitchen
>>>try harder
yes

1, 2, 3 IN A; 2, 4 IN B
%%
a INTERSECT b IS FOREACH x IF x IN a AND x IN b

Prolog一会listing，一会write。不至于不支持\n的写法吧，换个行还得来个nl子句。C++的endl也没啥意思，有flush啊，\n自动flush呗。"%9.2f %7.3f" 用stream的format来写非常啰嗦。

组合爆炸。2个不同的台球，上面分别印着1, 2。从里面取0到2个，组合数=C(2,0) + C(2,1) + C(2,2) = 4 = 2**2. 想象一个机器，每个球下面有个铁片挡着，搬动开关，铁片打开球落下，记为取出。开关从都不按到都按有00 01 10 11四种。2,3,4共4-2+1=3个，3-0+1=4. 背包问题不用写递归。

2>1: 真命题; 3<2: 假命题。>: 关系。(2>1) > (3>2): 不是命题。汪曾祺书里提到某君垂直于黑板。(苹果 比 桔子 好吃) 比 (桔子 比 葡萄 好吃) 好吃。

逻辑学里都是公理吧。

sort是个操作/过程。C里多个procedure 保留字(reserved word)不好吗？python里sorted是个被sort了的对象。def只说了要define，没说定义过程还是函数。for (i = 13; i < 42; i = i + 2) formidable_algorithm(important_data). for为啥是key word? 可能做编译器的人扫描输入，look for for. 我做编译器的，我哪知道你data important不。

class Cat;
tom = Cat();
tom.have_property('leg')

person = { 'Penny', 'Leonard', 'Raj' }
penny.likes = { 'Leonard', 'Raj' }

a = {1, 2, 3}
2 in a

也许能用python的exec()和eval()搞点好玩的：exec('leonard = Person()'); exec('penny.likes += leonard'); 好像也是个费时间换费空间。搜索不需要堆栈吗？

搞个图，节点放Tom, Penny, Lenord，有向的边放谓词(二元)？推理图，推背图。:-)