var
    s : string;
   ExtEvent : TPEXTEVENT; {For storing information about the external event}
begin
    { The Prolog engine that must prove the goal }
    ExtEvent._EngineId := Call^._EngineId;

    { Trinc-Prolog ID for an instance, if send to an instance, else assign 0 }
    ExtEvent._TPId := 0; { No instance to send it to }

    { Get the value of the first parameter and create a prolog query }
    s := 'prove(' + First^._Lexeme + ').';

    { Copy the goal to character array that will be send to Trinc-Prolog }
    StrPCopy(ExtEvent._Goal, s);

 

 

info@trinc-prolog.com