Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog
PlHalt Method
SwiPlCs interface ► SbsSW.SwiPlCs ► PlEngine ► PlHalt()()()()
Stops the PlEngine and the program

C# | Visual Basic | Visual C++ |
public static void PlHalt()
Public Shared Sub PlHalt
public: static void PlHalt()

SWI-Prolog calls internally pl_cleanup and than exit(0)