Search found 2414 matches

by Thomas Linder Puls
18 Jun 2019 9:26
Forum: Visual Prolog
Topic: Visual Prolog binary as .NET Core assembly
Replies: 6
Views: 79

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: 6
Views: 79

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: 6
Views: 79

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: 75

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: 64

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: 362

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: 362

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: 362

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: 286

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: 2194

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: 257

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: 263

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.
by Thomas Linder Puls
10 May 2019 9:00
Forum: Visual Prolog
Topic: API reference
Replies: 3
Views: 311

Re: API reference

It is the intension that F1 is context sensitive and will jump to the help file where relevant. But on some computers there are problems with opening the help file.
by Thomas Linder Puls
10 May 2019 8:58
Forum: Visual Prolog
Topic: Editing the Wiki?
Replies: 2
Views: 263

Re: Editing the Wiki?

Account creation has been disabled for a while because there was problems with creation of fake accounts, but now it is open. (Then we will see what happens).
by Thomas Linder Puls
8 May 2019 10:17
Forum: Visual Prolog
Topic: Accessing supported constants and domains
Replies: 7
Views: 403

Re: Accessing supported constants and domains

Thank you, for the words. Lexers has more or less disappeared from the surface by being handled by the parser generator. But I recognize the wish/need to create languages/grammars based on other languages/grammars. The parser generator and the compiler is a clear example of languages that share a co...