Search found 298 matches

by Martin Meyer
31 Jul 2014 14:40
Forum: Visual Prolog
Topic: Must Unify
Replies: 4
Views: 3693

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

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

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...
by Martin Meyer
9 May 2014 16:44
Forum: Visual Prolog
Topic: Supports Qualification for Domains
Replies: 6
Views: 4032

Of course in a later version - I can imagine, that this change about the object model will be a very complex thing.

Thanx a lot for your support,
Martin
by Martin Meyer
7 May 2014 11:13
Forum: Visual Prolog
Topic: Supports Qualification for Domains
Replies: 6
Views: 4032

I have just tried it, myGenericMapM{_, _} gives some type mismatch error. Also putting myGenericMapM{_, myGenericMapM{_, _}} there does not please the compiler.
by Martin Meyer
6 May 2014 23:37
Forum: Visual Prolog
Topic: Determ besides Side Effects
Replies: 4
Views: 4358

I have experimented a little and found a way to do the trick!! In this code bindTo is a procedure, which leaves a backtrack point: interface refVar open core properties bindTo : predicate{integer Val} (o). predicates tryGetValue : () -> integer Value determ. end interface refVar %------ class refVar...
by Martin Meyer
6 May 2014 16:51
Forum: Visual Prolog
Topic: Expert system(medical diagnosis system)
Replies: 19
Views: 18934

The dialog flow, which your code indicates, is completely linear. It's asking some questions and then output something. Of course that can be done in a GUI-style application also. However it does not make much use of Windows' asynchronous event driven GUI. I moved that code, which I posted before, t...
by Martin Meyer
6 May 2014 15:11
Forum: Visual Prolog
Topic: Supports Qualification for Domains
Replies: 6
Views: 4032

Below is an example of a supports-chain of three interfaces: - 1st interface is some generic map ( myGenericMapM{@Key, @Data} ), - 2nd one uses 1st one to construct a map of companies ( companyMapM ), - 3rd one uses 2nd and 1st to declare a map of employees per company ( employeeMapM ). The issue no...
by Martin Meyer
6 May 2014 12:11
Forum: Visual Prolog
Topic: Determ besides Side Effects
Replies: 4
Views: 4358

Yes - and thx for answering, Thomas! The determ-execpt-for-side-effects was just a quick idea of mine. Certainly you have much better ideas. Might also be, that's best to leave the issue as it is. I only intended to bring the topic to your attention. Another idea, which comes to my mind, is "lo...
by Martin Meyer
5 May 2014 18:09
Forum: Visual Prolog
Topic: Expert system(medical diagnosis system)
Replies: 19
Views: 18934

Hi, the functionality of below code seems to come close to what you are looking for. Just tune it a little to make it fit to your medical diagnosis case. It's but the code of a console application project, not a GUI project. To start it, click "Run in Window" or Alt+F5. All the best, Marti...
by Martin Meyer
5 May 2014 15:13
Forum: Visual Prolog
Topic: Supports Qualification for Domains
Replies: 6
Views: 4032

Supports Qualification for Domains

Hello Thomas, stating that an interface A supports an interface B extends A by all predicates and properties of B. But it does not extend A by the domains of B. Since the feature of parametrizing interfaces by scope type variables has been introduced, it can cause inconveniences, that A is not exten...
by Martin Meyer
5 May 2014 13:13
Forum: Visual Prolog
Topic: Determ besides Side Effects
Replies: 4
Views: 4358

Determ besides Side Effects

Hi Thomas and all, the method to program for the functionality of the former reference variables described in tutorial http://wiki.visual-prolog.com/index.php?title=How_To_Remove_Reference_Domains_from_a_Project works well. However a little drawback is, that predicate unify/2 has to be declared as n...
by Martin Meyer
5 Nov 2013 10:15
Forum: Visual Prolog
Topic: Debugger hanging
Replies: 17
Views: 9901

Thanx a lot for trying it! Do you have any hint, what I could check about my PC (Win7 64 bit)? My system seems completely standard to me, no operation system tweaks or suspect software is installed (at least not to my knowledge). Only remedy, which I can think of, is to re-install the system from sc...
by Martin Meyer
4 Nov 2013 16:39
Forum: Visual Prolog
Topic: Debugger hanging
Replies: 17
Views: 9901

Thomas,

has somebody of your collegues already taken a look at my test case? 15 minutes to unzip, compile and try it are presumably sufficient to reproduce the issue. Please (let) invest a quarter hour in trying.

Thank you in advance,
Martin
by Martin Meyer
15 Oct 2013 19:14
Forum: Visual Prolog
Topic: Number type conversion issue
Replies: 1
Views: 2156

Number type conversion issue

Hello Thomas, hi all, I found, that the compiler (7.4 build 7402) does not accept these constant declarations: constants lowerIntegerU8 = uncheckedConvert(unsigned8, lowerbound(integer8)). lowerIntegerU16 = uncheckedConvert(unsigned16, lowerbound(integer16)). But with larger types it is working fine...