News: Markus Triska earned his PhD with his clp(fd) implementationSearch Documentation:
SWI-Prolog owl logoSWI-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.

author
- Uwe Lesta
See also
- DotNetInterface.txt from Daniel Sullivan