Hello Thomas, updating my code to the new bit operations I came upon a case with an unexpected result (in build 902): open bit class predicates getHighBitMask64_oldStyle : (unsigned64 X) -> unsigned64 Mask. clauses getHighBitMask64_oldStyle(X) = bitAnd(X_7, bitNot(bitRight(X_7, 1))) :- X_1 = bitOr(X...

The result of predicate bit::getLow32of64/1-> has type unsigned . The value of an unsigned can be represented by an integer only if the value does not exceed the limits of the integer type. That is, convert(integer, U32 ) cannot work out when the value of the unsigned U32 is greater than upperBound(...

Yes, there is a better way. Just make sure that ByteOut has domain unsigned8 : open core clauses run() :- hasDomain(unsigned8, Byte1), hasDomain(unsigned8, Byte2), Byte1 = 1 * 0x04 + 0 * 0x02 + 1 * 0x01, Byte2 = 1 * 0x04 + 1 * 0x02 + 0 * 0x01, hasDomain(unsigned8, ByteOut), ByteOut = Byte1 ^^ Byte2,...

Hello Thomas, in below call to enum/3 the last argument for an [out] parameter cannot (unintentionally?) be skipped (in VIP 902). domains unsigned3Enumerator = (unsigned A [out], unsigned B [out], unsigned C [out]) nondeterm. class predicates enum : unsigned3Enumerator. clauses enum(1, 2, 3). enum(4...

Yes. Thank you for the detailed explanation.

Hello Thomas, please check this code (in build 902). The compiler refuses it (unintentionally?). But it compiles when the indicated line is outcommented: open core, exception constants myException : exception = exception(class_name(), constant_name(), "Error"). class predicates raise_myException : (...

Yes, there are save and consult predicates in VIP. They are not first language constructs but part of the PFC ("Prolog Foundation Classes"). The PFC comes with a help file. If you have installed Visual Prolog to folder "C:\Program Files (x86)\Visual Prolog 9 PE\" then the help file will be "C:\Progr...

Hi Rangarajan, short answer is: It depends on whether they are fact or predicate clauses. A longer answer: A strength of Visual Prolog compared to other Prolog systems is speed. The main reason, why VIP programs are running fast, is, that VIP compiles the program code to executable machine instructi...

Yes, it's all consistent now. Thank you.

But why does below wrapper object not expand (in non-native view)? interface obj [presenter] end interface obj class obj : obj end class obj implement obj open presenter clauses presenter() = mkPresenter_fixed( fp_string("I am an obj"), presenter::mkFP_childOnly_term("I am the expansion of an obj", ...

Hello Thomas, please have a look at below code example. In my try it has output <childObj 00853FE0> (in build 902). But when changing the order of the interfaces in the supports qualification, it outputs This is an objA . interface objA [presenter] end interface objA class objA : objA end class objA...

Ahhh OK, I got it. And reading the wiki more carefully I see that is also documented well. Thank you!

Hello Thomas, when setting a breakpoint in below code at the indicated line and running it in the debugger (in build 902), a line for variable Num is displayed in the "Variables in the Current Clause" window. However (with "Native View" not checked on) the line cannot be expanded by mouse click. I s...

Thank you, I followed your advice.

Hello Thomas, just a minor issue: In below code the compiler (build 902) preferes wrong predicate getRule_nd/1-> over the correct getRule_nd/0-> which comes through an interface delegation. I am not absolutely sure, but I suppose that it is not intended. interface rule end interface rule %=== interf...