Search found 1242 matches

by Thomas Linder Puls
20 Sep 2021 10:49
Forum: Visual Prolog
Topic: Bounded polymorphism problem
Replies: 3
Views: 102

Re: Bounded polymorphism problem

Thank you, we will also look at that. It looks related, but the first problem is concerned with different representation of unsigned and unsigned64 in a functor on 32 bit. Such a difference is not involved here.
by Thomas Linder Puls
16 Sep 2021 15:03
Forum: Visual Prolog
Topic: Bounded polymorphism problem
Replies: 3
Views: 102

Re: Bounded polymorphism problem

I see the problem too. We will investigate it. By the way this is a simpler example: class predicates doNothing : (dictionary{Key} Dict) -> dictionary{Key} NewDict where Key supports unsigned64. clauses doNothing(leaf(K)) = leaf(K + 1). (And more relevant because it actually uses the boundary for so...
by Thomas Linder Puls
2 Sep 2021 8:12
Forum: Visual Prolog
Topic: DeRegistering before a Windows 10 reset
Replies: 4
Views: 281

Re: DeRegistering before a Windows 10 reset

No, that is not necessary.

Deregistration/registration is only for moving the license to another computer.

(But maybe a reinstall makes the computer look like "another" computer).

If you ever have any license problems contact support@visual-prolog.com, then we will find a solution.
by Thomas Linder Puls
30 Aug 2021 9:40
Forum: Visual Prolog
Topic: Metaprogramming?
Replies: 4
Views: 275

Re: Metaprogramming?

I can't imagine that we would have any legal problems having our own book in whatever format. But you may have a problem with Borland (doubt they will do anything about it, though). Anyway, in relation to PIE (and the like) there is a the "complication" that we have removed "reference...
by Thomas Linder Puls
27 Aug 2021 22:40
Forum: Visual Prolog
Topic: DeRegistering before a Windows 10 reset
Replies: 4
Views: 281

Re: DeRegistering before a Windows 10 reset

Before: help - > manage license - > unregister.
After: help - > manage license - > <enter license key> - > register.
by Thomas Linder Puls
27 Aug 2021 9:37
Forum: Visual Prolog
Topic: Metaprogramming?
Replies: 4
Views: 275

Re: Metaprogramming?

I have never read that book. I do not recall having seen it here either. The "thing" does not exist in any updated version, in fact the letters "meta" does not appear in the Vip 5 manuals. So it had vanished before I got involved. But I am familiar with Turbo Prolog 2 (I wrote my...
by Thomas Linder Puls
18 Aug 2021 15:04
Forum: Visual Prolog
Topic: Batch file generated with file::writeString does not properly execute
Replies: 3
Views: 9919

Re: Batch file generated with file::writeString does not properly execute

You could also consider calling curl directly using useExe : constants cmd : string = @[curl -XPOST "http://localhost:9200/someindex/_update/b-QvG3sBhb30C69Tqn7V" -H 'Content-Type: application/json' -d 'my-update-script']. clauses run() :- E = useExe::new(cmd), E:run(). The discussion foru...
by Thomas Linder Puls
18 Aug 2021 14:25
Forum: Visual Prolog
Topic: Batch file generated with file::writeString does not properly execute
Replies: 3
Views: 9919

Re: Batch file generated with file::writeString does not properly execute

file::writeString will create a file with utf16 encoding, and that is not good in that context.

For a bat/cmd file I will suggest using file::writeStringUtf8 (because cmd does not like utf8 bom either).
by Thomas Linder Puls
9 Aug 2021 9:27
Forum: Visual Prolog
Topic: Ambiguous name error with non-unique domains
Replies: 2
Views: 379

Re: Ambiguous name error with non-unique domains

When a name is visible in two (or more) opened scopes (inherits and supports also open the corresponding scopes) then unqualified usages of the name becomes ambiguous. For functors (like none ) that is a bit surprising, because such functors can be used several times within in a single scope without...
by Thomas Linder Puls
2 Aug 2021 21:38
Forum: Visual Prolog
Topic: object expressions
Replies: 2
Views: 416

Re: object expressions

Your code contains both a class and an object expression, which are both declared to be iterators. However only the object expression actually implement the interface. I don't think you intend the class to be an iterator only the object expression. So if you rename the class and implementation and a...
by Thomas Linder Puls
29 Jul 2021 7:35
Forum: Visual Prolog
Topic: Do we have a VIP dll or an activex component?
Replies: 2
Views: 410

Re: Do we have a VIP dll or an activex component?

I am afraid not.

All data that can change owner will have to be marshaled to/from COM memory and that will make many things both complicated and inefficient.

Which things would you like to call (as example)?
by Thomas Linder Puls
26 Jul 2021 10:16
Forum: Visual Prolog
Topic: installing 1002 error
Replies: 1
Views: 326

Re: installing 1002 error

There is no change in that respect, you can have Vip 5, 7,.. and 10 as like, but you cannot have two instances of Vip 9 or two instances of Vip10. Actually Visual Prolog itself doesn't mind you can have as many as you like, but when making installers you will have to decide which is the same and sho...
by Thomas Linder Puls
19 Jul 2021 8:22
Forum: Visual Prolog
Topic: webView2Demo
Replies: 5
Views: 9779

Re: webView2Demo

I am not sure if I understand the problem, but maybe this will help. To show your web form (from your taskWindow ), you will have to make a call like this: WebForm = web::display(This) In the default code a messageForm is displayed in the show-listener, and the aboutdialog is displayed in a menu han...
by Thomas Linder Puls
16 Jul 2021 10:47
Forum: Visual Prolog
Topic: webView2Demo
Replies: 5
Views: 9779

Re: webView2Demo

In an SDI application (with a mainForm ) the "main" code looks like this: clauses run() :- _ = mainForm::display(gui::getScreenWindow()), messageLoop::run(). In an MDI application (with a taskWindow ) then main code looks like this: clauses run() :- TaskWindow = taskWindow::new(), TaskWind...
by Thomas Linder Puls
9 Jul 2021 8:12
Forum: Visual Prolog
Topic: Unifying domains?
Replies: 4
Views: 570

Re: Unifying domains?

Yes, the answer is "No". I took a while to write this mail, so the descriptions matches your first setup (but I still think it is relevant). I fear your are heading in a bad direction overall. The problem is that I believe that a model (being friendly or enemy ) has a lot of other properti...