| Did you know ... | Search Documentation: |
| SWI-Prolog interface to C# and F# |
The interface to C# is maintained by Uwe Lesta. Here is an example:
PlQuery q = new PlQuery("member(A, [a,b,c])");
foreach (PlTermV s in q.Solutions)
Console.WriteLine(s[0].ToString());
The documentation is online available here. The documentation page also provides a link for downloading. We provide an infrequently updated binary below.