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

Version	SHA1	#Downloads	URL
1.61	b5be42cceb6028f16ba1ce601816a161e7839f31	204	https://github.com/gavanelli/sldnfdraw.git
	cc377be67ac119dd2e7df944283febb95b6cf92a	317	https://github.com/gavanelli/sldnfdraw.git
	11ee6be297a075277e3a0f27f044d139b0f47c35	19	https://github.com/gavanelli/sldnfdraw.git
1.6	c03c27011360a362f5d5676c733bd487018fc2b4	1	https://github.com/gavanelli/sldnfdraw.git
	d3be354d1d549975c20614884510aede0dcd350e	2	https://github.com/gavanelli/sldnfdraw.git
	a4527082bb3b7b3793ab2fa14a1fe6f7991228ef	1	https://github.com/gavanelli/sldnfdraw.git
	38b0bac09b681fee6631f918e42fa12af302833f	2	https://github.com/gavanelli/sldnfdraw.git
	2afbb201bf7a92a462e291ccc2e2ecb3904f5ef3	4	https://github.com/gavanelli/sldnfdraw.git
	0a9bf1076fec61d45075aa93ba839a361bb77fe0	1	https://github.com/gavanelli/sldnfdraw.git
	c7f906353497b02412485b3acd06f0d49bb93a86	13	https://github.com/gavanelli/sldnfdraw.git
	4680ca7022e82b2ac917e410dea2a32890d5225b	48	https://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: https://docente.unife.it/marco.gavanelli/articoli-pdf/articoli

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

• LaTeX with packages epic and ecltree
• pdfcrop https://www.ctan.org/pkg/pdfcrop?lang=en
• pdf2svg http://www.cityinthesky.co.uk/opensource/pdf2svg/

In Ubuntu you would need the packages

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

Full Manual

Chapter 1: static trees

Chapter 2: animations

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 8 files holding a total of 760K bytes.