没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
Prolog, A first Course
Prolog, A first Course
Programming
Prolog
需积分: 3
66 下载量
189 浏览量
2008-01-07
14:59:57
上传
评论
1
收藏
636KB
PDF
举报
温馨提示
立即下载
介绍Prolog的经典教材，值得想学逻辑的朋友收藏
资源推荐
资源评论
Prolog编程：第一门课程Prolog Programming: A First Course
浏览：110
适用于具有一定编程经验甚至可能已经在Prolog中编写了一些程序的本科生。 不需要任何形式的命题或谓词逻辑知识。
Cambridge- A first Course in Digital Communications - 2009
浏览：196
5星 · 资源好评率100%
通信类的书籍，介绍数字通信基础知识。2009年剑桥大学（Cambridge）出版的新书。（出的书有含金量） 书是英文的，学通信，还是看英文的书好。
Matlab - Chemical Process Control a first Course with MATLAB
浏览：4
Matlab - Chemical Process Control a first Course with MATLAB
A first Course in Logic An Introduction To Model Theory Proof Theory Computability And Complexity
浏览：7
5星 · 资源好评率100%
A first Course in An Introduction To Model Theory Proof Theory
A first Course in ChaoticDynamical systems
浏览：179
A first Course in ChaoticDynamical systems:theory and experiment/Robert L.Devaney ISBN 0-201-55406-2 Copyright 1992
prolog manual.pdf
浏览：146
5.1 The A* algorithm in Prolog 5.2 The 8-puzzle 5.3 αβ search in Prolog 6. Logic Topics 6.1 Chapter 6 notes 6.2 Positive logic 6.3 Convert first-order logic to normal form 6.4 A normal rulebase..
前10场Prolog编程竞赛The First 10 Prolog Programming Contests
浏览：20
本书显示了从1994年到2004年的前10场Prolog编程竞赛中的问题的解决方案。需要一些基本的Prolog编程技能。
基于prolog的迷宫系统
浏览：195
5星 · 资源好评率100%
人工智能 基于prolog的迷宫方案 代码加文档
SWI-prolog 软件 及 Prolog 教程
浏览：28
SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程
Visual Prolog 语言教程
浏览：142
4星 · 用户满意度95%
第一部分 Visual Prolog概述 第1章 Visual Prolog开发环境 描述如何将Visual Prolog安装到你的计算机上，如何使用Visual Prolog的可视化开发环境来运行本书所提供的例子，提供一个快速指南，包括创建、运行及保存你...
.Net Prolog 扩展
浏览：144
Prolog.NET is a full featured Prolog programming environment for the .NET Framework. It includes an enhanced compiler with language extensions and a code generator targeting Microsoft's Intermediate .
prolog
浏览：79
3星 · 编辑精心推荐
prolog教程 智能控制技术
Eclipse的Prolog插件
浏览：97
Eclipse的Prolog插件Eclipse的Prolog插件Eclipse的Prolog插件
turbo prolog2.0 下载
浏览：93
4星 · 用户满意度95%
turbo prolog2.0 下载 turbo prolog2.0 下载turbo prolog2.0 下载 turbo prolog2.0 下载
专家系统prolog教材
浏览：148
4星 · 用户满意度95%
专家系统 prolog 教材，专家系统 prolog 教材，专家系统 prolog 教材
Visual Prolog 7.5 语言参考手册
浏览：95
Visual Prolog 7.5 语言参考手册
prolog 简介Prolog提供了列表数据结构
浏览：16
简单介绍了prolog Prolog提供了列表数据结构 Prolog提供了列表数据结构 Prolog提供了列表数据结构
Visual Prolog 8 Language Reference
浏览：139
5星 · 资源好评率100%
Visual Prolog 8 Language Reference 最新版语言参考，英文。
通过Prolog介绍逻辑编程
浏览：196
These chapters describe the functioning of an actual interpreter for a Prolog subset, and the complete source code for this interpreter is included as Appendix C of this book. The presentation in ...
visual prolog语言教程
浏览：42
4星 · 用户满意度95%
全面系统介绍Visual Prolog语言及其编程。全书共分四个部分，第一部分简短介绍Visual Prolog可视化开发环境；第二部分包括教程的第2章至第11章，教你如何学会用Visual Prolog编程；第三部分包括第12章至第16章，详细...
prolog教程
浏览：25
4星 · 用户满意度95%
第0章 人工智能语言—PROLOG简介 1 一、什么是人工智能语言 1 二、Prolog语言及其基本结构 2 １、事实 2 ２、规则 2 ３、目标（问题） 2 三、Prolog程序的简单例子 3 四、Prolog语言的常用版本 4 1、Turbo Prolog 4 ...
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：168
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：103
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路，实现以下功能：用低频信号源产生ui1=0.1sin2πft（V），f=500Hz的正弦波信号，加至加法器的输入端，加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量，选出f信号为uo2，uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览：89
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：101
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：132
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：154
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
Landsat_WRS2.zip
浏览：110
5星 · 资源好评率100%
本资源为WRS2全球条带号分幅情况SHP文件。WRS，即Worldwide Reference System，是Landsat系列卫星全球影像标记符号系统，用以区分全球各区域对应的Landsat系列卫星影像编号；其用“Path”与“Row”两个数值确定影像的编号与位置。其中，Landsat 1、2、3卫星对应编号系统为WRS-1，Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-
最全的Visio形状/图形库
浏览：144
从不同地方搜集整理出来的Viso图标，全部文件都是Visio图形库的标准格式：VSS格式，内含有51个文件，分别对应类别。内容比较全面，包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
FreezingGod
粉丝: 0
资源:
2
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
使用C#调用python操作
IMG20240425002617.jpg
IMG_2775.MOV.mov
00023(1).MTS
OSPF11111111
Python实现kmp算法.zip
kmp算法测试.zip
kmp算法0.0.zip
java-KMP算法的讲解.zip
D-KMP-sample.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
