Search found 280 matches

by Martin Meyer
9 May 2014 16:44
Forum: Visual Prolog
Topic: Supports Qualification for Domains
Replies: 6
Views: 2913

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

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

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

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

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

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 "logical...
by Martin Meyer
5 May 2014 18:09
Forum: Visual Prolog
Topic: Expert system(medical diagnosis system)
Replies: 19
Views: 15602

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, Martin implemen...
by Martin Meyer
5 May 2014 15:13
Forum: Visual Prolog
Topic: Supports Qualification for Domains
Replies: 6
Views: 2913

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

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

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

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

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...
by Martin Meyer
27 Sep 2013 10:16
Forum: Visual Prolog
Topic: A type checking issue
Replies: 1
Views: 1506

A type checking issue

Hello Thomas, my program has thrown an access violation. I have stripped the issue down to a small demo: Create a new "console application"-project (in VIP 7.4 build 7402) and put this code to main.pro interface myObj open core domains testPredicate = (integer, tuple{integer, integer}). properties t...
by Martin Meyer
24 Sep 2013 15:28
Forum: Visual Prolog
Topic: Debugger hanging
Replies: 17
Views: 7159

Yes, please ask someone - it is really a serious problem for me. I hope, somebody can reproduce the problem, so that you can grib it. If it is reproducible nowhere, something with my system must be wrong. The virus scanner is first suspect. But as far as I can see (and as I said before), the virus s...
by Martin Meyer
24 Sep 2013 8:23
Forum: Visual Prolog
Topic: Debugger hanging
Replies: 17
Views: 7159

Thomas, have you been able to reproduce the delay-effect with my test case?