Search found 280 matches

by Martin Meyer
22 Sep 2014 16:31
Forum: Visual Prolog
Topic: Which is a better structure for a database?
Replies: 12
Views: 5742

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

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

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

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

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

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 refTermValue = nil; atm(@Atom Value); ...
by Martin Meyer
9 Aug 2014 12:02
Forum: Visual Prolog
Topic: Constructor's type not determined
Replies: 5
Views: 2921

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

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

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

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

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

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...
by Martin Meyer
31 Jul 2014 14:40
Forum: Visual Prolog
Topic: Must Unify
Replies: 4
Views: 2809

Thanks Thomas! I see.

Btw. the change of Must Unify does not cover flows like for example (tuple(o, o), tuple(i, i)). The clause

Code: Select all

run() :-     tuple(X, Y) == tuple(1, 2).
is still compiling. I suppose, you liked to exclude such usages too.

Regards,
Martin
by Martin Meyer
30 Jul 2014 21:44
Forum: Visual Prolog
Topic: Must Unify
Replies: 4
Views: 2809

Must Unify

Hi Thomas,

in new VIP 7.5 the clause

Code: Select all

run() :-     X == 1.
throws error c609 : Variable 'X' is not completely bound. Is it a bug or has Must Unify been changed for a reason?

Regards,
Martin
by Martin Meyer
30 May 2014 16:00
Forum: Visual Prolog
Topic: How to deploy my expert system.
Replies: 2
Views: 2222

Executable files are generated by building the project in the Integrated Development Environment (IDE). See http://wiki.visual-prolog.com/index.php?title=Ide/Environment_Overview#Building . By default executables along with some DLLs are placed in the subdirectories Exe and/or Exe64 of the project's...