Inference Method Logic Model MD3

Following the example KB.

The variable can have any domain type. Make sure that the possible results of the logic model 'fit' in the domain.

1. Open the variable properties.
2. Select tab Consultation.
3. Go to the section Inference Method.
4. In the list select Logic Model.
5. A label Use logic model appears and a combobox with downward arrow. Click it.
6. A list with all logic models appears. Click one to choose. The name must obey Prolog syntax eg. textLength or text_length. See Logic Models.
7. Sub-section Arguments appears. You see labeled the formal arguments specified in the logic model. The last argument must have the output icon and the word DEDUCE. Adjust in logic model properties if needed. In the other argument input fields do one of the next.
   • Type a literal value, text or number.
   • Type a variable reference like VALUE(variablename). (Implement still: right-click get list)

Please check if other inference methods are specified. It is quite possible that 'Ask user' is activated as well. With inference method 'Logic Model' we create a "Help me answer" construct. If not desired, click 'Ask user' to disable it.