• 홈
• SbsSW
• SwiPlCs
• libpl

C# 클래스 SbsSW.SwiPlCs.libpl

파일 보기 프로젝트 열기: swi-to-yap/swicli

공개 프로퍼티들

프로퍼티	타입	설명
NoToString	bool
TermRefCount	ulong

Private Properties

프로퍼티	타입	설명

공개 메소드들

메소드	설명
InternalError ( string cause, Exception exception ) : void
Is64Bit ( ) : bool
LoadLibPl ( ) : void
LoadUnmanagedPrologLibrary ( string fileName ) : SafeLibraryHandle
PL_abort_hook ( PL_abort_hook_t ah ) : void
PL_abort_unhook ( PL_abort_hook_t ah ) : int
PL_agc_hook ( PL_agc_hook_t newhook ) : PL_agc_hook_t
PL_atom_chars ( uint t_atom ) : String
PL_atom_wchars ( uint t_atom ) : String
PL_chars_to_term ( string chars, uint term ) : int
PL_cleanup ( int status ) : int
PL_close_foreign_frame ( uint fid_t ) : void
PL_close_query ( uint qid ) : void
PL_compare ( uint term1, uint term2 ) : int
PL_cons_functor_v ( uint term, uint functor_t, uint term_a0 ) : void
PL_copy_term_ref ( uint term_t ) : uint
PL_create_engine ( IntPtr attr ) : IntPtr
PL_cut_query ( uint qid ) : void
PL_destroy_engine ( IntPtr engine ) : int
PL_discard_foreign_frame ( uint fid_t ) : void
PL_erase ( uint record_t ) : void
PL_exception ( uint qid ) : uint
PL_foreign_context ( IntPtr control ) : int	long PL_foreign_context(control_t) Extracts the context from the context argument. In the call type is PL_FIRST_CALL the context value is 0L. Otherwise it is the value returned by the last PL_retry() associated with this goal (both if the call type is PL_REDO as PL_CUTTED).
PL_foreign_context_address ( IntPtr control ) : IntPtr	void * PL_foreign_context_address(control_t) Extracts an address as passed in by PL_retry_address().
PL_foreign_control ( IntPtr control ) : FRG	int PL_foreign_control(control_t) Extracts the type of call from the control argument. The return values are described above. Note: that the function should be prepared to handle the PL_CUTTED case and Note: should be aware that the other arguments are not valid in this case.
PL_get_arg ( int index, uint t, uint a ) : int
PL_get_atom ( uint term, uint &atom_t ) : int
PL_get_chars ( uint term, string &s, uint flags ) : int
PL_get_float ( uint term, double &i ) : int
PL_get_int64 ( uint term, long &i ) : int
PL_get_integer ( uint term, int &i ) : int
PL_get_intptr ( uint term, IntPtr &i ) : int
PL_get_list ( uint term_t_l, uint term_t_h, uint term_t_t ) : int
PL_get_long ( uint term, long &i ) : int
PL_get_name_arity ( uint t, uint &name, int &arity ) : int
PL_get_nil ( uint term_t ) : int
PL_get_pointer ( uint term, IntPtr &i ) : int
PL_halt ( int i ) : int
PL_initialise ( int argc, String argv ) : int
PL_is_atom ( uint term_t ) : int
PL_is_atomic ( uint term_t ) : int
PL_is_attvar ( uint termRef ) : int
PL_is_blob ( uint termRef, [ type ) : int
PL_is_compound ( uint term_t ) : int
PL_is_float ( uint term_t ) : int
PL_is_ground ( uint term_t ) : int
PL_is_initialised ( IntPtr argc, IntPtr argv ) : int
PL_is_initialised ( int &argc, String &argv ) : int	Does NOT work correct if engine is_initialised int PL_is_initialised(int *argc, char ***argv)
PL_is_integer ( uint term_t ) : int
PL_is_list ( uint term_t ) : int
PL_is_number ( uint term_t ) : int
PL_is_string ( uint term_t ) : int
PL_is_variable ( uint term_t ) : int
PL_new_atom ( string text ) : uint
PL_new_atom_wchars ( int len, string text ) : uint
PL_new_functor ( uint atom_a, int a ) : uint
PL_new_term_ref ( ) : uint
PL_new_term_refs ( int n ) : uint
PL_next_solution ( uint qid_t ) : int
PL_on_halt ( SwiOnHalt oh, void closure ) : void
PL_open_foreign_frame ( ) : uint
PL_open_query ( IntPtr module, int flags, IntPtr pred, uint term ) : uint
PL_predicate ( string name, int arity, string module ) : IntPtr
PL_put_atom ( uint term, uint atom_handle ) : void
PL_put_atom_chars ( uint term, string chars ) : void
PL_put_float ( uint term, double i ) : void
PL_put_integer ( uint term, long i ) : void
PL_put_list ( uint term_t ) : void
PL_put_list_chars ( uint term_t, string chars ) : void
PL_put_list_codes ( uint term_t, string chars ) : void
PL_put_string_chars ( uint term_t, string chars ) : void
PL_put_string_nchars ( uint term_t, int len, string chars ) : void
PL_put_term ( uint t1, uint t2 ) : void
PL_query ( uint query_type ) : uint
PL_raise_exception ( uint exception_term ) : int
PL_record ( uint term_t ) : uint
PL_recorded ( uint record_t, [ term_t ) : void
PL_register_foreign_in_module ( string module, string name, int arity, Delegate function, int flags ) : int
PL_retry ( int control ) : void	void PL_retry(long) The foreign function succeeds while leaving a choice point. On backtracking over this goal the foreign function will be called again, but the control argument now indicates it is a `Redo' call and the macro PL_foreign_context() will return the handle passed via PL_retry(). This handle is a 30 bits signed value (two bits are used for status indication).
PL_retry_address ( IntPtr control ) : void	void PL_retry_address(void *) As PL_retry(), but ensures an address as returned by malloc() is correctly recovered by PL_foreign_context_address().
PL_rewind_foreign_frame ( uint fid_t ) : void
PL_set_engine ( IntPtr engine, IntPtr &old ) : int
PL_term_type ( uint t ) : int
PL_thread_at_exit ( Delegate function, IntPtr closure, int global ) : int
PL_thread_attach_engine ( IntPtr attr ) : int
PL_thread_destroy_engine ( ) : int
PL_thread_self ( ) : int
PL_toplevel ( ) : int
PL_unify ( uint t1, uint t2 ) : int
PL_unify_atom_chars ( uint t1, string atom ) : int
PL_unify_float ( uint t1, double n ) : int
PL_unify_integer ( uint t1, Int32 n ) : int
PL_unify_integer ( uint t1, Int64 n ) : int
PL_unify_intptr ( uint term, IntPtr intptr ) : int
PL_unify_list ( uint term_t_l, uint term_t_h, uint term_t_t ) : int
PL_unify_list_chars ( uint t1, string atom ) : int
PL_unify_nil ( uint term_t ) : int
PL_unify_stream ( uint term_t, IntPtr iostream ) : int
PL_unify_string_chars ( uint t1, string atom ) : int
PL_warning ( string text ) : int
PL_write_term ( IntPtr iostream, uint term_t, int precedence, int flags ) : int
S__getiob ( ) : IntPtr
SetStreamFunction ( Streams streamType, StreamsFunction functionType, Delegate function ) : void
Slinesize ( ) : int
Snew ( ) : IntPtr
UnLoadUnmanagedLibrary ( ) : void

메소드 상세

프로퍼티 상세