云昴
Enjoy it
-
[Learn Prolog Now 2] Unification and Proof Search
| 本文英文原文: http://www.learnprolognow.org/ 并会增加自己在Imperial学习中的一些想法,因为自己已经熟悉Prolog,并非完整翻译。
合一
如果term1和term2都是常量,那么term1和term2能够合一,当且仅当它们是相同的原子,或者相同的数字。
如果term1是变量并且term2是任意类型的语句,那么term1和term2能够合一,并且term1被初始化为term2;同理,如果term2是变量并且term1是任意类型的语句,那么term1和term2能够合一,并且term2被初始化为term1。(如果两个都是变量,他们都能够被互相初始化,即它们共享相同的值)
如果term1和term2都是复杂语句,那么它们能够合一当且仅当:
3.1 它们有相同的函子和元数;
3.2 所有对应的参数能够合一;
3.3 变量的初始化能够匹配。(比如,如果两个复杂语句在进行合一,不可能在一个复杂语句中将X初始化为mia,在另外一个复杂语句中将X初始化为vincent)
两个语句能够合一当且仅当它们遵循上面三个定义之一。
-
[Learn Prolog Now 1] Facts, Rules, and Queries
| 本文英文原文: http://www.learnprolognow.org/ 并会增加自己在Imperial学习中的一些想法,因为自己已经熟悉Prolog,并非完整翻译。
-
【算法2】基础+贪心
| BST && BBST
从根开始搜索。
所有的左后代都小于父代,右后代都大于父代,才能满足。
Balance Binary Search Tree, 平衡二叉搜索树,能够更好的提高搜索效率。
散列表
这里,我们先讨论一下散列表(哈希表),作为一个数组,可以很快的查找到。哈希冲突,是需要处理的,可以用链进行链接。
-
【算法1】基础+贪心
| | Big-O
算法复杂度。用来度量算法。
数据结构
Vector & Array
查找很快,但增删很难。
List & Linked List
增删很简单,但查找不方便。
-
【Imperial】Intro of ML
| | K Nearest Neighbous and Decision Tree
In this part, we will talk about the KNN and Decision Tree. What’s more, we need some knowledge about Python and numpy, when we use those tools, I will show you how to use them.
-
【Django系列】开始你的第一个应用
| 本文来自于官方文档
Django系列将持续更新,并将用自己的实际项目系统来作为例子。Django版本:3.0。
-
忆志服(一)
| | 志服,一个梦的开始
-
【建站教程】Docker for caddy
| | caddy 使用 docker 来部署
-
【Linux I2C】设备驱动(ADS1110)
| -
【Linux驱动】Linux下I2C驱动架构全面分析
| |