ipython和jupyter笔记本的picat扩展
ipicat的Python项目详细描述
IPython和Jupyter笔记本的Picat扩展
先决条件
通过PIP安装
pip install jupyter pip install ipicat
添加--user以在专用环境中安装。
基本用途
在带有python3内核的jupyter笔记本中，在第一个单元格中加载扩展名：
%load_ext ipicat
在另一个单元中编写完整的picat程序。需要注意的是，执行从main谓词开始：
%%picat
main =>
println('Teste'),
X = 1+1,
println(X).
您可以执行picat脚本，该脚本与笔记本位于同一目录中：
%picat -e t.pi
帮助
%picat [-d DELETE] [-e EXECUTE] [-l] [-n NEW]
Picat magic
optional arguments:
-d DELETE, --delete DELETE
Delete a predicate
-e EXECUTE, --execute EXECUTE
Execute a Picat program
-l, --list List all predicates
-n NEW, --new NEW Define a new predicate from a cell. If it already
exists, it will be updated.
欢迎加入QQ群-->： 979659372
