Runtime system information

Computer architectures are identified by a simple atom. This atom is implementation-defined, and may suffer any change from one Ciao version to another.

For example, Ciao running on an 32-bit Intel-based machine will retrieve:

?- get_arch(I).

I = i686 ? ;

no
?-

Usage:get_arch(ArchDescriptor)

Unifies ArchDescriptor with a simple atom which describes the computer architecture currently executing the predicate.

• The following properties hold upon exit:
  (basic_props:atm/1)ArchDescriptor is an atom.

Operating systems are identified by a simple atom. This atom is implementation-defined, and may suffer changes from one Ciao version to another.

For example, Ciao running on Linux will retrieve:

?- get_os(I).

I = 'LINUX' ? ;

no
?-

Usage:get_os(OsDescriptor)

Unifies OsDescriptor with a simple atom which describes the running operating system when predicate was called.

• The following properties hold upon exit:
  (basic_props:atm/1)OsDescriptor is an atom.

Usage:get_platform(Platform)

Platform is the atom describing the current operating system and computer architecture.

• The following properties hold upon exit:
  (basic_props:atm/1)Platform is an atom.

Usage:eng_debug_level(Debug)

Unifies Debug with the value of core:debug_level configuration flag used to build this engine.

• The following properties hold upon exit:
  (basic_props:atm/1)Debug is an atom.

Usage:

This engine is linked as a shared library (instead of as an executable)

Usage:get_ciao_ext(Ext)

Ext is the default extension for the executable Ciao programs.

• The following properties hold upon exit:
  (basic_props:atm/1)Ext is an atom.

Usage:get_exec_ext(Ext)

Ext is the extension for executables.

• The following properties hold upon exit:
  (basic_props:atm/1)Ext is an atom.

Usage:get_so_ext(Ext)

Ext is the default extension for the shared libraries. For example, .dll in Windows and .so in most Unix systems.

• Calls should, and exit will be compatible with:
  (basic_props:atm/1)Ext is an atom.

Usage:get_a_ext(Ext)

Ext is the default extension for the static libraries.

• Calls should, and exit will be compatible with:
  (basic_props:atm/1)Ext is an atom.

Usage:ciao_c_headers_dir(Path)

Path is the path to the root of the installed Ciao header C files (.h), typically used for interfacing Ciao and C.

• The following properties hold upon exit:
  (basic_props:atm/1)Path is an atom.