Search found 2417 matches

by Thomas Linder Puls
26 Jun 2019 11:25
Forum: Visual Prolog
Topic: presenter::mkExpand
Replies: 1
Views: 19

Re: presenter::mkExpand

No, that is a bug.

By the way, (it will not solve the bug, but) you can write your presenter like this:

Code: Select all

class predicates     present_num : presenter::presenter{num}. clauses     present_num(Num) = presenter::mkExpand(getNumName(Num), hasDomain(unsigned, Num)).
by Thomas Linder Puls
24 Jun 2019 12:01
Forum: Visual Prolog
Topic: xmlhttp60 sending email
Replies: 1
Views: 30

Re: xmlhttp60 sending email

Not to my knowledge.
by Thomas Linder Puls
18 Jun 2019 9:26
Forum: Visual Prolog
Topic: Visual Prolog binary as .NET Core assembly
Replies: 8
Views: 133

Re: Visual Prolog binary as .NET Core assembly

It is correct that we had support for some Unix variants back in vip5. But we didn't use the Unix version ourselves and subsequently it was out of focus and thus under-considered, under-developed, under-tested, under-bug fixed, ... All in all it was just waste of resources on a product of low qualit...
by Thomas Linder Puls
17 Jun 2019 10:07
Forum: Visual Prolog
Topic: Visual Prolog binary as .NET Core assembly
Replies: 8
Views: 133

Re: Visual Prolog binary as .NET Core assembly

Thank you, for your advice :-). You can already write web services in Visual Prolog (micro or something else as you like). The .net platform does not require you to use a specific programming language. But ... the .net platform has a built-in mandatory type system, which any programming language on ...
by Thomas Linder Puls
13 Jun 2019 7:54
Forum: Visual Prolog
Topic: Visual Prolog binary as .NET Core assembly
Replies: 8
Views: 133

Re: Visual Prolog binary as .NET Core assembly

No.

Nor can it compile for Linux or macOS, but some have successfully run Visual Prolog programs on Wine.
by Thomas Linder Puls
3 Jun 2019 21:16
Forum: Visual Prolog
Topic: Problem picking a predicate of certain arity
Replies: 2
Views: 108

Re: Problem picking a predicate of certain arity

I am not absolutely sure, but I suppose that it is not intended. Well, actually I am not sure either (yet). There are a bunch of rules about conflicts and visibility, etc. that are supposed to deal with these matters. In any case you can solve your problem by referencing the fact predicate explicit...
by Thomas Linder Puls
3 Jun 2019 21:01
Forum: Visual Prolog
Topic: Interface level bounded polymorphism problem
Replies: 1
Views: 89

Re: Interface level bounded polymorphism problem

Well, there is something wrong here, we will look at it.
by Thomas Linder Puls
29 May 2019 9:35
Forum: Visual Prolog
Topic: Bounded polymorphism problem
Replies: 6
Views: 398

Re: Bounded polymorphism problem

I fully agree regarding pA . But qA is a completely different story. With your bound you have declared a predicate which given any subtype Dom of integer returns a value in that type. Such a predicate is very hard to implement (without having access to the actual type of Dom ). The statement about q...
by Thomas Linder Puls
28 May 2019 13:03
Forum: Visual Prolog
Topic: Bounded polymorphism problem
Replies: 6
Views: 398

Re: Bounded polymorphism problem

p1 is clearly a bug. But p2 is correct, which you can see from this example: class main domains dom = integer [-10..10]. predicates p : (integer) -> dom. end class main %== implement main clauses p(X) = X. end implement main Here dom is an actual type 'supports' integer . And that gives the error, ...
by Thomas Linder Puls
18 May 2019 22:07
Forum: Visual Prolog
Topic: Bounded polymorphism problem
Replies: 6
Views: 398

Re: Bounded polymorphism problem

Thank you, we will look at it.
by Thomas Linder Puls
18 May 2019 22:07
Forum: Visual Prolog
Topic: Changing property of file
Replies: 2
Views: 309

Re: Changing property of file

Such properties are in a version resource, which is linked in to the program. There exist programs that can replace such resources in a program. I assume that they kind of relink the program with the new resource and all other resources of the program (icons, cursor,...). It is also possible to loca...
by Thomas Linder Puls
18 May 2019 21:57
Forum: Visual Prolog
Topic: Problem with Comparing Trees
Replies: 4
Views: 2224

Re: Problem with Comparing Trees

Thank you, we will look at it.
by Thomas Linder Puls
13 May 2019 10:10
Forum: Visual Prolog
Topic: Default parameter problem
Replies: 1
Views: 281

Re: Default parameter problem

Yes, thank you.
by Thomas Linder Puls
10 May 2019 14:24
Forum: Visual Prolog
Topic: Editing the Wiki?
Replies: 2
Views: 291

Re: Editing the Wiki?

Sorry we had to close for user creation again.

If you send a mail to support@visual-prolog.com then we can create your account.