Search found 13 matches

by Eki
5 Jul 2011 10:06
Forum: Visual Prolog
Topic: Web-agent
Replies: 5
Views: 1795

Thank you, Thomas!
by Eki
5 Jul 2011 6:48
Forum: Visual Prolog
Topic: Web-agent
Replies: 5
Views: 1795

Webagent source code

Has anybody the source left? .. or any comments how it works in Vip 7 and modern Windows?
by Eki
4 Jul 2011 13:57
Forum: Visual Prolog
Topic: Web-agent
Replies: 5
Views: 1795

Web-agent

Hi,
I have seen in one of the earlier VIP versions a Webagent (as well as some other agents, too), which controlled certain html - pages plus its linked pages to a certain level for changes. It was handy.

Is there source code for Webagent for 7.1, 7.2 or 7.3?

Regards
Erkki Laitila
by Eki
25 Jan 2010 20:02
Forum: Visual Prolog Tips & Samples
Topic: An OpenGL Application
Replies: 9
Views: 10886

Re:

Dear Erkki, Firstly a belated congratulations to your PhD, and to your excellent work and blog, and also your book that you showed me while in St. Petersberg. I must admit I am overwhelmed by what I see. As you can see I have experimented with both 2D and 3D. I am not sure if you are referring to 2...
by Eki
23 Jan 2010 19:17
Forum: Visual Prolog
Topic: Making interactive displays: A problem in drawing controls
Replies: 12
Views: 3306

Re:

Thomas Linder Puls wrote:Have you reported that problem to us? I do not recall anything like that.

As for the use of GDI+ I am afraid that I cannot help you, I have never used it myself.
Ok. I am doing well. After checking the setPen-problem, I will inform about a bug if it is the case.
by Eki
23 Jan 2010 14:20
Forum: Visual Prolog Tips & Samples
Topic: An OpenGL Application
Replies: 9
Views: 10886

Re:

Axon2010 is now post beta. The Lite version is, as usual, freely available for download. Chan Bok Axon Research Hi Chan, your displays in your product seem interesting. Perhaphs you remember my work in St.Petersburg. My blog is here: http://symbolicanalysis.wordpress.com/category/symbolic-computati...
by Eki
22 Jan 2010 14:33
Forum: Visual Prolog
Topic: Making interactive displays: A problem in drawing controls
Replies: 12
Views: 3306

Re:

No, I don't think our new package has much in common with mashups. Our new package is a Visual Prolog version of Windows GDI+ , though not fully complete. Ok. I have had much success when using controls in order to create a visual interactive symbolic Turing machine. However, there were one bug rel...
by Eki
19 Jan 2010 10:38
Forum: Visual Prolog
Topic: Making interactive displays: A problem in drawing controls
Replies: 12
Views: 3306

Re:

...one of the new things to come in Vip7.3 is a large object oriented gdiPlus package (i.e. not just native bindings). Hi Thomas, that sounds interesting. My purpose is to show a scrollable virtual screen about a source code model that can be large, but it should be filtered according to user wishe...
by Eki
19 Jan 2010 10:29
Forum: Visual Prolog
Topic: Making interactive displays: A problem in drawing controls
Replies: 12
Views: 3306

Re:

Hi Eki, is this what you are looking for ? http://www.arsaniit.com/en/prolog-tools/menu-extension/hypertree http://www.epo.org/patents/law/legal-texts/html/epc/1973/e/ar52.html ) Gildas Hi Gidas, your hypergraph ha an interesting point-of-view. For me too there is a root in the center of the screen...
by Eki
19 Jan 2010 8:40
Forum: Visual Prolog
Topic: Making interactive displays: A problem in drawing controls
Replies: 12
Views: 3306

Re:

Hi, I just had a very quick scan of your paper: http://www.symbolicanalysis.net/Info/Philosophy_of_Static_Dynamic_and_Symbolic_Analysis.pdf Have you done any work in safety-critical software (eg SIL4), or are the approaches for that too formal for what you are doing? Have you seen Chan Bok's work? ...
by Eki
19 Jan 2010 8:28
Forum: Visual Prolog
Topic: Making interactive displays: A problem in drawing controls
Replies: 12
Views: 3306

Re:

Hi, Erkki. If you add the control after the form is created you must remember to call its show predicate. Controls that are added before the form is created are automatically show n, when the form is show n. new creates the control object ; show creates the actual "Windows control". Thank you, Thom...
by Eki
18 Jan 2010 21:21
Forum: Visual Prolog
Topic: Making interactive displays: A problem in drawing controls
Replies: 12
Views: 3306

Making interactive displays: A problem in drawing controls

Hi, I am about to program interactive displays such as fish-eye-diagrams . There is one sample here: http://www.aisee.com/graph_of_the_month/svg.htm . Earlier I have programmed graphics using Wingraphviz and SVG and html, but they are not interactive enough. When trying to use Visual Prolog controls...
by Eki
11 Sep 2009 14:25
Forum: Visual Prolog
Topic: Using Visual Prolog as a Formalism
Replies: 0
Views: 1238

Using Visual Prolog as a Formalism

Hi all, I am happy to inform that a book about Symbolic Analysis is ready to be ordered at Amazon, http://www.amazon.com/Erkki-Laitila/e/B002KLDTQY . Its origin is in my dissertaton for program comprehension (May 2008). If you are too busy to read the book, you are wellcome to study its main contrib...