2.1 library(pengines): Pengines: Web Logic Programming Made Easy
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(pengines)).(can be autoloaded)
Source[det]pengine_stop(+NameOrID, +Options)
Tells pengine NameOrID to stop looking for more solutions to a query started by pengine_ask/3. Options are passed to pengine_send/3.

Defined in terms of pengine_send/3, like so: 

pengine_stop(ID, Options) :-
    pengine_send(ID, stop, Options).