Search found 298 matches

by Martin Meyer
16 Oct 2014 15:42
Forum: Visual Prolog
Topic: Predicate Constant
Replies: 14
Views: 9186

The example below deals with personID's and sets of them. The personID's are implemented as of domain symbol and the sets as of domain personIdSet . Domain personIdSet in turn is implemented through a patricia set of unsignedNative keys (patricia set's code is just a modified version of the radixTre...
by Martin Meyer
11 Oct 2014 15:01
Forum: Visual Prolog
Topic: Predicate Constant
Replies: 14
Views: 9186

Thanx for the info Thomas! Maybe you can make predicate constants work in a future release? They have usage in increasing code's readability and easing its maintainance. In the place, where I tried to use it, I have now put a wrapper predicate in the style of class predicates myRenamedPredicate : ()...
by Martin Meyer
11 Oct 2014 12:31
Forum: Visual Prolog
Topic: Predicate Constant
Replies: 14
Views: 9186

Predicate Constant

Hello Thomas and hi all, the below code throws error c229 : Undeclared identifier 'myRenamedPredicate/0' (in VIP build 7500). Is it intended or bug? Regards Martin class predicates myPredicate : (). clauses myPredicate(). constants myRenamedPredicate : core::predicate = myPredicate. class predicates...
by Martin Meyer
22 Sep 2014 16:31
Forum: Visual Prolog
Topic: Which is a better structure for a database?
Replies: 12
Views: 7393

On the other hand SQL databases produce a large overhead to accomplish all their nice features. And worse the load, they put on computers, is, that installation/patching/administration of for example an Oracle database system is a complicated and time consuming task for humans. Furthermore learning ...
by Martin Meyer
22 Sep 2014 12:56
Forum: Visual Prolog
Topic: Exception Raiser not called
Replies: 3
Views: 3167

After a lot of experimenting I came to conclusion, that my above proposed way to construct a determ unify/2 predicate, does not work out too. Now I am using a nondeterm unify/2 predicate. To be able to stop enumeration of solutions of reference variable counterparts of nondeterm predicates like list...
by Martin Meyer
16 Sep 2014 17:41
Forum: Visual Prolog
Topic: Exception Raiser not called
Replies: 3
Views: 3167

The use is in the thing I told before in http://discuss.visual-prolog.com/viewtopic.php?t=11882 . It is, I am trying to set up an object type, which shall deliver the functionality of the former reference variables. I am following the construction described in your tutorial http://wiki.visual-prolog...
by Martin Meyer
15 Sep 2014 14:44
Forum: Visual Prolog
Topic: Exception Raiser not called
Replies: 3
Views: 3167

Exception Raiser not called

Hi Thomas and all, my user defined run-time exception raiser does not get called by exception::raise_error and similar predicates (in VIP 7.5). The below code shows the problem. Is the behavior intended, resp. is there a way to set an exception raiser, which will be called on all kinds of exceptions...
by Martin Meyer
18 Aug 2014 12:15
Forum: Visual Prolog
Topic: Value of Type Parameter not captured from Context
Replies: 7
Views: 4090

To my supprise I found, that the below compiles. I.e. it does NOT cause something like error c530 : The object member 'refTerm{@Atom}::@Atom/0' is used in the class predicate 'refTerm{@Atom}::tryToValueList_0/2->' . Is it unintended? Or, does the compiler in class predicate tryToValueList_0/2-> clev...
by Martin Meyer
17 Aug 2014 16:24
Forum: Visual Prolog
Topic: Value of Type Parameter not captured from Context
Replies: 7
Views: 4090

Maybe it stems from same issue, that the compiler build 7500 throws fatal error c098 : getTypeVariableTerm name(03822B00,"atm","Atm",false) on this code. Can you provide a fix for the issue? interface refTerm{@Atom} constants fct_cons : symbol = "cons". domains refTermV...
by Martin Meyer
9 Aug 2014 12:02
Forum: Visual Prolog
Topic: Constructor's type not determined
Replies: 5
Views: 3845

Thanx Thomas and VITALY (I guess, by "Hello Meyer" you are giving me a wink, that Vitaly is your first name :D )!

Best Regards,
Martin
by Martin Meyer
8 Aug 2014 17:24
Forum: Visual Prolog
Topic: Constructor's type not determined
Replies: 5
Views: 3845

Hello Markov,

appending the parenthesis is not compellent. myObj{integer}::new is a legal expression. It has the type () -> myObj{integer}, i.e. a function type.

Regards,
Martin
by Martin Meyer
8 Aug 2014 15:21
Forum: Visual Prolog
Topic: Constructor's type not determined
Replies: 5
Views: 3845

Constructor's type not determined

Hi Thomas, the compiler build 7500 throws error c520 : Impossible to determine the type of the term on this code. I suppose, it is not intended: interface myObj{@Type} domains useTheParameter = @Type. end interface myObj class myObj{@Type} : myObj{@Type} end class myObj implement myObj{@Type} end im...
by Martin Meyer
1 Aug 2014 13:05
Forum: Visual Prolog
Topic: Value of Type Parameter not captured from Context
Replies: 7
Views: 4090

I just found out, that the compiler error disappears, when replacing in my code convertFromBaseType(Val) = new(refVar{LocalType}::atm(Val)). by convertFromBaseType(Val) = new(refVar::atm(Val)). or even better by convertFromBaseType(Val) = new(refTerm::atm(Val)). Thanx Thomas for supporting me! Martin
by Martin Meyer
1 Aug 2014 12:23
Forum: Visual Prolog
Topic: Value of Type Parameter not captured from Context
Replies: 7
Views: 4090

The parameter LocalType is unused in clauses convertFromBaseType(Val) = new(refVar{LocalType}::atm(Val)). because it appears there only once. So I just tried replacing it by _ . However on that the compiler issued error c504 : The expression has type 'refTerm::refTermValue{_}', which is incompatible...
by Martin Meyer
1 Aug 2014 11:18
Forum: Visual Prolog
Topic: Value of Type Parameter not captured from Context
Replies: 7
Views: 4090

Value of Type Parameter not captured from Context

Hi Thomas, below code compiles in build 7402 but throws error c353 : Free parameter 'LocalType' is used in type expression in build 7500. interface refTerm{@Type} domains refTermValue = nil; atm(@Type Value); cmp(symbol FunctorName, refTerm{@Type}* ArgumentRtList); var(refTerm{@Type} Rt). end interf...