Copyright © 2020-2023 www.SOT9.com. All Rights Reserved .
合作联系: QQ: 3217490875
运行环境:WinXP/Win7/Win8/Win10/Win All
软件语言:简体中文
软件类型:国产软件 - 编程软件
授权方式:共享版
软件大小:969 KB
推荐星级:
解压密码:
联系方式:暂无联系方式
插件情况:
图片预览:
更新时间:2013-03-09 12:27:00
下载统计:
PathLP,实际上是指面向路径的逻辑编程语言是一种新的编程语言,你可以使用。
PathLP是保护路径表达式的逻辑编程语言。它的结构为对象的路径表达式,路径表达式类型,基数约束和成员子集公式。
该语言正在研制的神器出山:www.shenqi73.comF-逻辑的对象建模语言F-OML作为基础层,但也很有趣,在自己的权利。 F-OML的目的是作为一种富于表现力的,可执行的正式模型级集成开发环境的基础。
它支持各种各样的模型级的活动,如UML图的限制,确定设计模式,UML图的推理,测试规范的特定领域的建模语言,UML图和元模型。
支持对象状态的F-OML的扩展计划。 F-OML是我们的通用建模活动的一部分。
PathLP的实现是写在XSB,出台的逻辑编程引擎。 PathLP顺利整合的XSB并支持它的大部分功能。
共有 0 位网友发表了评论,得分 0 分,平均 0 分 查看完整评论