没有合适的资源?快使用搜索试试~ 我知道了~
owl_inspector:GUI可视化SWI CLP(FD)程序
共64个文件
jsx:12个
scss:12个
pl:11个
需积分: 9 0 下载量 132 浏览量
2021-05-01
08:51:01
上传
评论
收藏 548KB ZIP 举报
温馨提示
Owl Inspector是SWI-Prolog的CLP(FD)库的基于Web的可视化软件。 查看examples文件夹,以快速了解可能发生的情况。 快速开始 安装 先决条件: npm和SWI Prolog都可用,例如通过bower 。 通过npm install (在目录中)。 gulp run一次npm run或gulp run一次。 你好,世界 使用npm run或gulp run启动服务器。 一旦完成一次,就可以通过gulp webserver启动gulp webserver 。 可以在以下位置访问该GUI: owl_tracer模块公开了一组注释,CLP程序可以使用这些注释来注释程序的某些部分并在执行时收集数据。 您可以使用以下谓词来注释您的程序。 ':pushpin:'/1 ':pushpin:'/2 owl_trace/1 owl_trace/2 必须先调用':pushpin:'/2或owl_trace/
资源推荐
资源详情
资源评论
收起资源包目录
owl_inspector-master.zip (64个子文件)
owl_inspector-master
start.pl 79B
tasks
build-scripts.js 1KB
prod.js 455B
build-static.js 306B
build-css.js 392B
dev.js 671B
examples
sudoku.pl 958B
romances.pl 941B
australia.pl 420B
n_queens.pl 507B
sendmoney.pl 514B
all_distinct.pl 343B
little.pl 227B
gulpfile.js 522B
gui
src
main.js 873B
renderer
renderer.jsx 275B
model
Tracepoint.js 263B
components
Log.jsx 605B
Layout.jsx 3KB
Panel
TimeWind.jsx 555B
File.jsx 918B
Variables.jsx 858B
Navigation.jsx 662B
Start.jsx 1014B
Source.jsx 1KB
Propagation.jsx 3KB
SearchTree.jsx 4KB
Title.jsx 255B
Parser.js 1KB
util.js 517B
sass
_time-wind.scss 392B
_log.scss 62B
_typography.scss 27B
_variables.scss 2KB
_fa-solid.scss 569B
_constraint-view.scss 43B
_layout.scss 220B
_title.scss 102B
style.scss 1016B
_panel.scss 390B
_source.scss 31B
_reset.scss 1KB
static
index.html 464B
favicon.png 17KB
webfonts
fa-solid-900.woff 75KB
fa-solid-900.woff2 58KB
fa-solid-900.eot 157KB
fa-solid-900.ttf 157KB
fa-solid-900.svg 579KB
logo.png 18KB
docs
priv-bg.png 770B
pldoc.css 9KB
h1-bg.png 752B
multi-bg.png 508B
h2-bg.png 673B
pub-bg.png 673B
propagation.png 9KB
owl_tracer.html 3KB
tracer
owl_server.pl 888B
owl_json.pl 644B
owl_tracer.pl 5KB
.gitignore 48B
readme.md 2KB
package.json 1KB
共 64 条
- 1
资源评论
每天痛苦与更好的
- 粉丝: 32
- 资源: 4536
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功