2024年8月21日
星期三
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
杨大志
作品数:
2
被引量:0
H指数:0
供职机构:
吉林工学院计算机科学与工程学院
更多>>
发文基金:
青年科技基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
李宪章
吉林工学院计算机科学与工程学院
黄明
吉林工学院计算机科学与工程学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
中文期刊文章
领域
2篇
自动化与计算...
主题
2篇
设计语言
2篇
逻辑程序
2篇
逻辑程序设计
2篇
逻辑程序设计...
2篇
PROLOG
2篇
程序设计
2篇
程序设计语言
1篇
软件测试
1篇
软件工程
1篇
人工智能
1篇
系统结构
1篇
系统盘
1篇
TURBO
机构
2篇
吉林工学院
作者
2篇
黄明
2篇
杨大志
2篇
李宪章
传媒
2篇
吉林工学院学...
年份
2篇
1990
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
Turbo Prolog系统盘的剖析与改进
1990年
随着人工智能技术的发展,Prolog语言日益受到人们的重视.笔者设计和实现了三种对Prolog进行检测的工具,为了使这些工具使用方便,需要把它们合并到系统盘中.为此,我们对Turbo Prolog系统盘进行了剖析与改进,增加了一个菜单选择.
黄明
杨大志
李宪章
关键词:
TURBO
PROLOG
系统盘
逻辑程序设计语言
人工智能
系统结构
一种对PROLOG进行矛盾检测的算法
1990年
本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.
黄明
杨大志
李宪章
关键词:
PROLOG
软件工程
软件测试
逻辑程序设计语言
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张