您的位置： 专家智库 > >

杨大志

作品数：2 被引量：0H指数：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系统盘进行了剖析与改进,增加了一个菜单选择.
黄明杨大志李宪章
关键词：TURBOPROLOG系统盘逻辑程序设计语言人工智能系统结构
一种对PROLOG进行矛盾检测的算法
1990年
本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.
黄明杨大志李宪章
关键词：PROLOG软件工程软件测试逻辑程序设计语言
全选 清除 导出
共1页<1>
聚类工具0