Search found 264 matches

by Martin Meyer
18 May 2019 17:13
Forum: Visual Prolog
Topic: Problem with Comparing Trees
Replies: 4
Views: 1952

Re: Problem with Comparing Trees

Hello Thomas,

I am bringing this issue back to the top because it (still or again) needs a treatment (in build 902).
by Martin Meyer
17 May 2019 15:54
Forum: Visual Prolog
Topic: Bounded polymorphism problem
Replies: 1
Views: 23

Bounded polymorphism problem

Hello Thomas, this works (in build 902): class predicates p : () -> Dom where Dom supports integer. clauses p() = 1 + 0. But with these variants there is some problem: class predicates p1 : () -> Dom where Dom supports integer. clauses p1() = 1. % raises: 1 is not in the domain 'Dom' class predicate...
by Martin Meyer
12 May 2019 22:34
Forum: Visual Prolog
Topic: Default parameter problem
Replies: 1
Views: 42

Default parameter problem

Hello Thomas,

please check this code (in build 902). It dumps:

Code: Select all

class predicates     p : (core::comparator{Type} Comp = compare). clauses     p(_Comp).   clauses     run() :-         p().
by Martin Meyer
9 May 2019 1:17
Forum: Visual Prolog
Topic: API reference
Replies: 3
Views: 76

Re: API reference

Hi hyphz,

are you searching for the pfc help file? If you install Visual Prolog to folder
"C:\Program Files (x86)\Visual Prolog 9 PE\" then the help file will be
"C:\Program Files (x86)\Visual Prolog 9 PE\appData\doc\vip.chm".

I have created a link to the file in my start menu.
by Martin Meyer
8 May 2019 3:14
Forum: Visual Prolog
Topic: Accessing supported constants and domains
Replies: 7
Views: 122

Re: Accessing supported constants and domains

Thank you for answering! No else questions in this post. Just my thoughts/remarks in case you want to read them. Anyway, it is a fundamental property of Visual Prolog ... Yes, I see. Changing a fundamental property can turn a lot of things upside down. I can imagine that it could easily produce an u...
by Martin Meyer
7 May 2019 1:22
Forum: Visual Prolog
Topic: Accessing supported constants and domains
Replies: 7
Views: 122

Re: Accessing supported constants and domains

OK. In the Language Reference it reads but: constants and domains defined in an interface are not part of the type that the interface denotes But these matters are a question of how to formulate the theory (and you are doing that always concisely very well). What I want to tell by the thread is howe...
by Martin Meyer
5 May 2019 21:30
Forum: Visual Prolog
Topic: Accessing supported constants and domains
Replies: 7
Views: 122

Re: Accessing supported constants and domains

Yes. However why must that imply, we cannot refer via objC to the constants/domains of the interfaces it supports, i.e. to const1 and dom1 ? An interface uniformly exhibits predicates/properties originally declared in it as well as those it supports. Why to treat constants/domains differently in thi...
by Martin Meyer
5 May 2019 14:39
Forum: Visual Prolog
Topic: Accessing supported constants and domains
Replies: 7
Views: 122

Accessing supported constants and domains

Hello Thomas, VIP's object system is sound and powerful. Its latest add-on "bounded polymorphism" is working already fine in my code. The only issue about the object system which I think is questionable, is the difference interfaces impose on their type and scope. You have explained it in Interface ...
by Martin Meyer
28 Apr 2019 21:30
Forum: Visual Prolog
Topic: Predicate not found
Replies: 5
Views: 126

Re: Predicate not found

This works too: interface obj0 predicates p : (). end interface obj0 %=== interface obj1 supports obj0 end interface obj1 %=== interface obj2 supports obj1 end interface obj2 %=== interface obj3 predicates from obj2 p/0 end interface obj3 But that does not: interface obj0 predicates p : (). end inte...
by Martin Meyer
27 Apr 2019 22:58
Forum: Visual Prolog
Topic: Predicate not found
Replies: 5
Views: 126

Re: Predicate not found

Thank you for the info! In some cases it works however to not refer to the original declaration: interface obj0 predicates p : (). end interface obj0 %=== interface obj1 predicates from obj0 p/0 end interface obj1 %=== interface obj2 predicates from obj1 p/0 end interface obj2 I would vote for that ...
by Martin Meyer
27 Apr 2019 13:34
Forum: Visual Prolog
Topic: Predicate not found
Replies: 5
Views: 126

Predicate not found

Hello Thomas, please have a look at this predicates from - supports - predicates from construction (in build 902): interface obj0 predicates p : (). end interface obj0 %=== interface obj1 predicates from obj0 p/0 end interface obj1 %=== interface obj2 supports obj1 end interface obj2 %=== interface ...
by Martin Meyer
12 Apr 2019 18:04
Forum: Visual Prolog
Topic: Memory corruption in finalizer
Replies: 10
Views: 6078

Re: Memory corruption in finalizer

Hello Thomas,

please check again the initial example code in build 901. It looks like the fix has not been taken to version 9.
by Martin Meyer
31 Mar 2019 21:50
Forum: Visual Prolog
Topic: Raising an exception in a class initializer
Replies: 4
Views: 218

Re: Raising an exception in a class initializer

Thank you! I have applied the fix and it works fine.
by Martin Meyer
25 Mar 2019 20:12
Forum: Visual Prolog
Topic: Raising an exception in a class initializer
Replies: 4
Views: 218

Re: Raising an exception in a class initializer

It is the goal from the console application template.

Code: Select all

goal     console::runUtf8(main::run).
by Martin Meyer
24 Mar 2019 21:02
Forum: Visual Prolog
Topic: Raising an exception in a class initializer
Replies: 4
Views: 218

Raising an exception in a class initializer

Hello Thomas, please have a look at this code. It raises exception couldNotCreate in a class initializer, it outputs however error r000 (in VIP 900): class someClass end class someClass %--- implement someClass class facts flag : boolean := true. class predicates initialize : () [classInitializer]. ...