星小海之地

文章目录1. 问题背景2. 效率问题3. Unary clause 和 Binary clause4. Some baisc terms5. 书写格式6. 无记忆问题（重复自己）7. Summary1. 问题背景关系图（Relationship）核心代码parent(pam, bob).parent(tom, bob).parent(tom, liz).parent(bob, ann).parent(bob, pat).parent(pat, jim).问题：需要查询jim的g

转载GIT篇之如何删除本地仓库？说的很赞=-=！

转载git中出现“non-fast-forward”errors时的终极解决方案实测有用，done！

https://blog.csdn.net/MikuLingSSS/article/details/84102219

Java JDK在linux系统有两个版本，一个开源版本Openjdk，还有一个oracle官方版本jdk，oracle JDK既可以通过添加ppa源命令行安装，也可以去官网下载jdk压缩包安装。下面分别记录一下这三种安装方式的步骤。安装openjdk1、更新软件包列表：sudo apt-get update2、安装openjdk-8-jdk：sudo apt-get install openjdk-8-jdk3、查看java版本，看看是否安装成功：java -version...

sudo apt-get install python-software-propertiessudo apt-get updatesudo apt install software-properties-commonsudo apt-get update