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
Declaration Syntax| C# | Visual Basic | Visual C++ | F# |
public static void PlHalt()
Public Shared Sub PlHalt
public: static void PlHalt()
static member PlHalt : unit -> unit
RemarksSWI-Prolog calls internally pl_cleanup and than exit(0)
Assembly: SwiPlCs (Module: SwiPlCs.dll) Version: 1.1.60605.0 (1.1.60605.0)