Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Package "sldnfdraw"

Title:SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX
Rating:Not rated. Create the first rating!
Latest version:1.61
SHA1 sum:cc377be67ac119dd2e7df944283febb95b6cf92a
Author:Marco Gavanelli <marco.gavanelli@unife.it>

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
1.61b5be42cceb6028f16ba1ce601816a161e7839f31198https://github.com/gavanelli/sldnfdraw.git
cc377be67ac119dd2e7df944283febb95b6cf92a291https://github.com/gavanelli/sldnfdraw.git
1.6c03c27011360a362f5d5676c733bd487018fc2b41https://github.com/gavanelli/sldnfdraw.git
d3be354d1d549975c20614884510aede0dcd350e2https://github.com/gavanelli/sldnfdraw.git
a4527082bb3b7b3793ab2fa14a1fe6f7991228ef1https://github.com/gavanelli/sldnfdraw.git
38b0bac09b681fee6631f918e42fa12af302833f2https://github.com/gavanelli/sldnfdraw.git
2afbb201bf7a92a462e291ccc2e2ecb3904f5ef34https://github.com/gavanelli/sldnfdraw.git
0a9bf1076fec61d45075aa93ba839a361bb77fe01https://github.com/gavanelli/sldnfdraw.git
c7f906353497b02412485b3acd06f0d49bb93a8613https://github.com/gavanelli/sldnfdraw.git
4680ca7022e82b2ac917e410dea2a32890d5225b48https://github.com/gavanelli/sldnfdraw.git

SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX

See:

Marco Gavanelli SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX, Intelligenza Artificiale, vol. 11, no. 1, pp. 81-92, 2017. DOI: 10.3233/IA-170108. http://content.iospress.com/articles/intelligenza-artificiale/ia108

Post-print available at: http://endif.unife.it/it/ricerca-1/aree-di-ricerca/informazione/ingegneria-informatica/software/sldnf-draw/sldnf-draw_paper_ia.pdf

Installation

This is a SWI-Prolog (http://www.swi-prolog.org/) pack.

It can be installed with pack_install/1

$ swipl
?- pack_install(sldnfdraw).

Example of use

$ cd <pack>/sldnfdraw/prolog/examples
$ swipl
?- [member].
?- draw_goal("tree.tex").

Usage

Prepare an input file that first loads the module sldnfdraw

:- use_module(library(sldnfdraw)).

Then initialize the library with

:- sldnf.

You can now write the program you want to query by including it within the directives :-begin_program. and :-end_program. as in

:-begin_program.

member(X ,[X|_T]).
member(X ,[_H|T]):-
  member(X,T).

:-end_program.

You can now write the query by including it within the directives :-begin_query. and :-end_query. as in

:-begin_query.

member(X,[1,2]), \+ member(X,[1,3]).

:-end_query.

You can now build the SLDNF tree with the predicate draw_goal/1. If you call it with a variable as in

?- draw_goal(T).

it will return in T a string with the LaTex code for drawing the tree, that you can then include in a LaTeX document.

If you call draw_goal/1 with a string as in

?- draw_goal("tree.tex").

it will write the LaTeX code in file tree.tex in the current folder. You can then include it in a LaTeX document. The minimal LaTeX file you could use is

\documentclass{article}
\usepackage{epic,eepic}
\usepackage{ecltree}
\begin{document}
\input{tree}
\end{document}

and you should compile it with

latex file.tex
dvipdf file.dvi

If the graph is too condensed, you can change the spacing with

\setlength{\GapDepth}{30pt}
\setlength{\EdgeLabelSep}{15pt}
\setlength{\GapWidth}{30pt}

inserted befeore `\begin{document}`.

If you are using your example in SWISH and want the output to be shown in SVG add the following code after laoding the library

:- if(current_predicate(use_rendering/1)).
:- use_rendering(sldnf).
:- endif.

and you need the following programs on the server

In Ubuntu you would need the packages

texlive
texlive-extra-utils
texlive-humanities
texlive-pictures
pdf2svg

Full Manual

http://endif.unife.it/it/ricerca-1/aree-di-ricerca/informazione/ingegneria-informatica/software/sldnf-draw/sldnf-draw

Credits

Developed by Marco Gavanelli <marco.gavanelli@unife.it>

Ported to SWI-Prolog by Lorenzo Campioni <lorenzo.campioni@student.unife.it>

Transformed into a module and adapted to SWISH by Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>

Contents of pack "sldnfdraw"

Pack contains 5 files holding a total of 32.1K bytes.