It’s known that Prolog have a powerful feature that new operands can be defined. Assume that my program defined a set of new boolean operands such as bool1, bool2, bool3, my_and. :-op(500, yfx, [bool1, bool2, bool3]). :-op(700, xfx, [my_and]). (my_and == logic and) now, for this equation for exa…

Try gvterm for formatted display, after installed with ?- pack_install(gvterm). ▶ example

[image] CapelliC: test :- eq(E), dotty_term(E). I got this warning and nothing happen :confused: Warning: [Thread 3] Thread running “run_dotty(xdot,‘c:/Users/westly/AppData/Local/Temp/2’)” died on exception: source_sink path(xdot)’ does not exist

The pack gvterm, IIRC will generate a dot file. A dot file is an input specification for GraphViz . I take that you have never used GraphViz? If not you will need to install GraphViz and then run the GraphViz dot command to convert the dot file into an output format such as SVG, PNG, PDF, etc. Ther…

[image] westly: xdot,‘c:/Users/westly/AppData/Local/Temp/2 Great, It works for me now :slight_smile: Any idea what about my third question? It is possible? Assume that my program gets new fact every minute. it is possible to check only the right part of the equation and not all of it? Exp…

[image] westly: Any idea what about my third question? It is possible? My first thought is that it might be possible, and if it were my problem I would take the time to try to develop it into working code. However the only thing this reminds me of is how parsers have changed over the years fr…

Thank you. About my third question, I hope it can be done… About the side note, gvterm wants to use xdot as you said and return the same warning. Only a the manual steps works for me. SET PATH=“C:\Program Files (x86)\Graphviz2.38\bin” dot -Tsvg module_graph.dot -o module_graph.svg

In looking at the gvterm code in the local installation (C:\Users\Groot\AppData\Local\swi-prolog\pack) found a directory named script that has a file named xdot containing a Python program; did not know this. However I still think the more practical way to do this is to convert it to a static format…

Operands and equation questions

Help!

EricGT October 5, 2020, 11:42am 9

SWISH can also display terms as a tree in a graphical representation. See: The term render plugin. Noted by Jan W. in this post.

Topic		Replies	Views
Using SWI-Prolog pack gvterm Nice to know how-to , gvterm , packs	1	900	October 5, 2020
Question about using prolog equation as a variable Predicate how-to	3	552	October 8, 2020
HTML term rendering Looking for Group swish , html	26	1679	April 11, 2022
Term_factorized, term_minimal, term_automaton, automaton_minimal General	14	193	September 20, 2026
Understanding Bratko `translate` predicate General	21	868	April 22, 2023

Operands and equation questions

Related topics