[Info-gnuprologjava] Problems understanding the usage of the GNU Prolog API

[Daniel Warzecha]

Hello,

I hope someone can help me. I'm trying to understand how to use the API in a correct way and am a bit overwhelmed.

The background: I'm trying to parse messages in UML Sequence Diagrams and transform their facts, i.e. the message data to Prolog. Then I want to pose questions to the Prolog interpreter in regards to the knowledge base.

Okay, sadly I don't understand how to do the following basic things with the API:

1. Tell the environment (if that's right) that some predicates exist: e.g. key/1 or knows/2 .

2. Tell Prolog that some facts exist: e.g. key("key1") or knows("attacker","key1")

3. Tell Prolog that certain rules exist: e.g. knows("attacker","message") :- encrypted("message","key1"), symmetricKey("key1").

Can somebody please help me? The API docs only irritated me even more.

Thanks in advance,

Daniel W.