fstiehle/owl_inspector

GUI to visualize SWI CLP(FD) programs

owl_inspector's Issues

Forward JSON to render process and process it, output to log

TDD Prolog

Add domain size to json

Start swipl as child process

• Open swipl as child process

$ swipl -l foo.pl -t start_up
And let the user choose the startup predicate in the menu
OR
$ swipl < test.pl
And provide a seperate textfield for queries

• Save queries to GUI data structure, allow program to generate example queries via predicate.

Associate names to variables

• Use attributed values to listen on variable unification (Really necessary?)
• apply name as attribute

Split logic of constraint propagation and enumeration

Seperate URL?

• current impl should only be used for constraint propagation
• Use attr_hook to construct enumeration tree
• reflect that in the fact names

Currenty:

tracepoint_constraint/5,
tracepoint_labeling/4,
constraint/2.

Document Prolog code

Set up test driven dev for prolog

trace() function to trace arbitrary predicate

• Use meta interpreter: https://www.metalevel.at/acomip/

Constraint Propagation view label color

textStyle : { color: "#fffff" },
doesn't work

Communicate with Prolog

• start server listening on port

Rename ConstraintView component

Code refactoring

term_variables(Goal, Vars),
var_names(Vars, Names),

In trace constraint and trace labeling can be done one predicate call earlier?

Custom scroll bar

prolog socket communication

• One way data transfer via sockets

• socket module

3D constraint propagation view

Share file

• Use file system OR socket?

Socket would ping or receive JSON file
Advantages / Disadvantages?

Data exchange format?

#Prolog <-> GUI

• Tree representation
• Multiple children
• Prolog DCG

Domain data extraction

• http://www.swi-prolog.org/pldoc/man?section=overrule
• http://www.swi-prolog.org/pldoc/man?section=reexport

except([pred/1 as mypred])