Heimseite
Seitenübersicht
An/abmeldung
Warenkorb
Anschlagbrett
Herunterladen(c) 2008-2020 XLOG Technologies GmbH
/*** A relative path that is not wrapped into a compound is resolved* against the current base in write or append mode. The current base* is the Prolog flag “base_url”. Otherwise in read mode, if the call-site* is not user it is resolved against the path of the call-site itself.* In both cases the suffixes of the sys_add_file_extension/2* command are used:** Example:* ?- set_prolog_flag(base_url, '/C:/Users/Jan Burse/Desktop/').** ?- sys_add_file_extension('.dcg', [mime('text/prolog')]).** ?- absolute_file_name('my folder/my file', X).* X = 'file:/C:/Users/Jan Burse/Desktop/my folder/my file.dcg'** Paths should not use a system specific directory separator but* always use the forward slash (/). For convenience, paths have* an automatic prefixing of a schema. Paths starting with a double* slash (//) are prefixed by the “http” schema. Paths starting with* a single slash (/) are prefixed by the “file” schema. Drive* letters are not considered schema.** If the path is wrapped into a compound and if the functor of the* compound is either library/1, foreign/1, verbatim/1 or resource/1* then the path is looked up in the class path. The class path can* be updated and queried by the predicates sys_add_path/1 and* sys_current_path/1. The prefixes of the package/1 and use_package/1* command are also used.** Write or append access resolution:* <path> resolve <path> in base.** Read access resolution:* library(<path>) lookup text <path> in class path.* foreign(<path>) lookup class <path> in class path.* verbatim(<path>) like library(<path>) or take as is.* resource(<path>) lookup resource <path> in class path.* <path> resolve <path> in scope or base.** The predicates absolute_file_name/[2,3] provide file name resolving.* The predicate absolute_file_name/2 works bi-directionally. For a* given already resolved path it will make a best effort attempt* to reconstruct either a compound form foreign/1, library/1, verbatim/1* or resource/1. Otherwise, only a relative path is attempt.** Warranty & Liability* To the extent permitted by applicable law and unless explicitly* otherwise agreed upon, XLOG Technologies GmbH makes no warranties* regarding the provided information. XLOG Technologies GmbH assumes* no liability that any problems might be solved with the information* provided by XLOG Technologies GmbH.** Rights & License* All industrial property rights regarding the information - copyright* and patent rights in particular - are the sole property of XLOG* Technologies GmbH. If the company was not the originator of some* excerpts, XLOG Technologies GmbH has at least obtained the right to* reproduce, change and translate the information.** Reproduction is restricted to the whole unaltered document. Reproduction* of the information is only allowed for non-commercial uses. Selling,* giving away or letting of the execution of the library is prohibited.* The library can be distributed as part of your applications and libraries* for execution provided this comment remains unchanged.** Restrictions* Only to be distributed with programs that add significant and primary* functionality to the library. Not to be distributed with additional* software intended to replace any components of the library.** Trademarks* Jekejeke is a registered trademark of XLOG Technologies GmbH.*//****************************************************************//* Class Path Modification & Access *//****************************************************************/* sys_add_path(R):* The predicate succeeds in adding the relative path R* to the current class loader.*/% sys_add_path(+Path)sysAddClassdPath('Interpreter', 'String')).* sys_current_path(A):* The predicate succeeds in A with the currently added* absolute paths A along the class loaders.*/% sys_current_path(-Path)sysGetClassPaths('Interpreter')).* sys_add_file_extension(E, O):* The predicate succeeds in adding the file extension database* entry E with type and mime options O to the current knowledge base.* For a list of recognized mime options see the API documentation.*/sysAddFileExtenstion('Interpreter', 'String', 'Object')).* sys_remove_file_extension(E):* The predicate succeeds in removing file extension database entry* with the name suffix E from the current knowledge base*/sysRemoveFileExtenstion('Interpreter', 'String')).* sys_current_file_extension(E, O):* The predicate succeeds in E and O with the currently added* file extension database entries and their type and mime options* along the knowledge bases.*/sysGetFileExtenstions('CallOut', 'Interpreter'))./****************************************************************//* File Resolution *//****************************************************************/* absolute_file_name(R, A):* absolute_file_name(R, A, O):* The binary predicate succeeds when the read path R resolves to an* absolute path and this absolute path unifies with S. The ternary* predicate additionally recognizes the following path option. The* predicates can be also used in a backward manner.*/% absolute_file_name(+Slash, -Pin)/****************************************************************//* Search File *//****************************************************************//* library *//* verbatim *//* foreign *//* resource *//* absolute and relative */sysSearchOptions('Object')).sysSearchRead('Integer')).sysFindWrite('Interpreter', 'String')).sysFindPrefix('Interpreter', 'String', 'TermAtomic', 'Integer')).sysFindKey('Interpreter', 'String', 'TermAtomic', 'Integer'))./****************************************************************//* File Unprobing *//****************************************************************/sysUriIsRelative('String')).sysUnfindWrite('Interpreter', 'String')).sysUnfindKey('Interpreter', 'String', 'TermAtomic', 'Integer')).sysUnfindPrefix('Interpreter', 'String', 'TermAtomic', 'Integer'))./****************************************************************//* Term Representation *//****************************************************************/* sys_path_to_atom(A, B):* Succeeds when B unifies with the atom representing the path A.*/% sys_path_to_atom(+-Slash, -+Atom)