ahodroj/prologdotnet — Issue #3: assert
Author: barendgehrels
Created: 2012-01-16 16:27:30+00:00
State: open

Hi,

Thanks for creating this - compiling .pro and using it in .NET works.

Before continuing I need to know if asserting facts is possible. In the documentation I could not see anything about that.

Inspecting the source might give a possibility but I don't know if it is intended like that.

I can state:
Dim myAL As New ArrayList()
myAL.Add("male(barend)")

Dim ap As New AMProgram
ap.AssertFirst("male", 1, myAL)

However, this new rule is added to a new program - how can I use this in my current program? Is this meant to be called?

Thanks, Barend