论文部分内容阅读
PROLOG语言测试工具系统
【机 构】
：
吉林工学院
【出 处】
：
全国第五届微机软件学术交流会
【发表日期】
：
1990年期
其他文献
该文提出了一组面向信息管理用户的分布式处理语言（IMDL）。信息管理的用户通过这组语言以作业方式布置给软件系统，就可得到他所需的报表。如果该系统是一个分布式多机处理系统，那
水是维持基本生命活动所必需的一种重要营养素,约占健康成年人体重的60％～70％[1].人体内所有生命现象及物质代谢过程都有水的参与,如消化作用、血液循环、物质交换、组织合成、体
期刊
该文阐述了PROLOG语言在逻辑模拟中的应用，通过一些实例说明PROLOG语言用于对门级和功能块级电路的描述及模拟的便利之处，进而指出基于PROLOG语言的电路描述可用于逻辑电路的模
作者研制了一种新型的LISP语言——DCLISP，其中实现了用模式匹配传递参数的功能。具体来说，程序员可以在函数定义中对于参数应具有的结构给出显式表示，称作模式；可以给出有关数据
肥胖是由于机体能量摄入和能量消耗长期失衡,由脂肪细胞肥大或前体脂肪细胞增生所引起脂肪组织增加的结果.运动对脂肪组织能够产生诸多良好的生理学效应.越来越多的研究显示:
目的:采用光遗传学技术揭示纹状体表达多巴胺Ⅱ型受体的中等多棘神经元(D2-MSNs)在改善帕金森病(PD)小鼠运动行为障碍中的作用.方法:雄性D2-Cre转基因小鼠,随机分成假手术安