存放内容
系统运行过程中所产生的所有信息原始数据：包括用户输入的信息、推理的中间结果和推理过程的纪录
作用
动态库中由各种事实、命题和关係组成的状态，既是推理机选用知识的依据，也是解释机制获得推理路径的来源。
编译
生成动态连线库，假设名称为libtest.so
gcc x.cy.cz.c-fPIC-shared-olibtest.so
将main.c和动态连线库进行连线生成执行档
gcc main.c-L.-ltest-omain
输出LD_LIBRARY_PATH环境变数，以便动态库装载器能够找到需要的动态库
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:.
测试是否动态连线，如果列出libtest.so，那么应该是连线正常了
ldd main
后缀名含义
-fPIC：表示编译为位置独立的代码，不用此选项的话编译后的代码是位置相关的所以动态载入时是通过代码拷贝的方式来满足不同进程的需要，而不能达到真正代码段共享的目的。
-L.：表示要连线的库在当前目录中
-ltest：编译器查找动态连线库时有隐含的命名规则，即在给出的名字前面加上lib，后面加上.so来确定库的名称
LD_LIBRARY_PATH：这个环境变数指示动态连线器可以装载动态库的路径。
当然如果有root许可权的话，可以修改/etc/ld.so.conf档案，然后调用 /sbin/ldconfig来达到同样的目的，不过如果没有root许可权，那么只能採用输出LD_LIBRARY_PATH的方法了。
