Search found 279 matches

by Martin Meyer
9 May 2019 1:17
Forum: Visual Prolog
Topic: API reference
Replies: 3
Views: 2326

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

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

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

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

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

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

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

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

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

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

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

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]. ...
by Martin Meyer
16 Mar 2019 21:26
Forum: Visual Prolog
Topic: Scope parameter in anonymous predicate
Replies: 1
Views: 1732

Scope parameter in anonymous predicate

Hello once again Thomas, this code, which uses a scope parameter in an anonymous predicate, is accepted in VIP 802 but rejected in 900. Is the change intended? interface myObj{@Param} predicates p : (object SomeObject, @Param UseParam). end interface myObj class myObj{@Param} : myObj{@Param} end cla...
by Martin Meyer
15 Mar 2019 0:24
Forum: Visual Prolog
Topic: memory::allocHeap/3->
Replies: 5
Views: 3509

Re: memory::allocHeap/3->

'My' use of memory::allocHeap is in a customized version of arrayM . In arrayM.pro you have changed the call in VIP 9 to data := memory::allocHeap(ByteSize, ma:isAtomic, memory::contextType_pfc) And so did I in my customized version :D The customized copy of the arrayM class is of course not really ...
by Martin Meyer
14 Mar 2019 1:18
Forum: Visual Prolog
Topic: memory::allocHeap/3->
Replies: 5
Views: 3509

Re: memory::allocHeap/3->

Yes, I see.

It came to my attention because my calls in VIP 8 to

Code: Select all

predicates     allocHeap : (byteCount Size, boolean Atomic) -> pointer Block.
needed to be modified for VIP 9.