kibi-swipl-linux-x64-gnu 1.0.0

package/lib/swipl/boot/topvars.pl

@@ -0,0 +1,261 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  1985-2025, University of Amsterdam
+                              VU University Amsterdam
+                              SWI-Prolog Solutions b.v.
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(toplevel_variables,
+          [ print_toplevel_variables/0,
+            verbose_expansion/1,
+            '$replace_toplevel_vars'/4,
+            '$save_toplevel_vars'/1,            % +Bindings
+            '$switch_toplevel_mode'/1           % +Mode
+          ]).
+
+:- dynamic
+    verbose/0.
+
+% define the operator globally
+:- op(1, fx, user:($)).
+
+%!  '$replace_toplevel_vars'(+Query0, -Query, +Bindings0, -Bindings) is det.
+%
+%   These predicates realise reuse of   toplevel variables using the
+%   $Var notation. These hooks are   normally called by toplevel.pl.
+%   If the user defines rules for these   hooks  in the user module,
+%   these implementations may be  called  (or   not)  to  define the
+%   interaction with the user hooks.
+
+'$replace_toplevel_vars'(Query, Expanded, Bindings, ExpandedBindings) :-
+    expand_vars(Bindings, Query, Expanded, NewBindings),
+    term_variables(Expanded, Free),
+    delete_bound_vars(Bindings, Free, ExpandedBindings0),
+    '$append'(ExpandedBindings0, NewBindings, ExpandedBindings),
+    (   verbose,
+        Query \=@= Expanded
+    ->  print_query(Expanded, ExpandedBindings)
+    ;   true
+    ).
+
+print_query(Query, Bindings) :-
+    bind_vars(Bindings),
+    writeq(Query), write('.'), nl,
+    fail.                           % undo bind_vars/2.
+print_query(_, _).
+
+bind_vars([]).
+bind_vars([Name=Value|Rest]) :-
+    Name = Value,
+    bind_vars(Rest).
+
+%!  expand_vars(+Bindings, +Query, -Expanded, -NewBindings) is det.
+%
+%   Replace $Var terms inside Query by   the  toplevel variable term
+%   and unify the result with  Expanded. NewBindings gets Name=Value
+%   terms for toplevel variables that are bound to non-ground terms.
+%
+%   @error existence_error(answer_variable, Name)
+
+expand_vars(Bindings, Query, Expanded, NewBindings) :-
+    current_prolog_flag(toplevel_var_size, Count),
+    Count > 0,
+    !,
+    do_expand_vars(Bindings, Query, Expanded, NewBindings).
+expand_vars(Bindings, Query, Query, Bindings).
+
+do_expand_vars(Bindings, Query, Expanded, NewBindings) :-
+    acyclic_term(Bindings),
+    !,
+    phrase(expand_vars(Bindings, Query, Expanded), NewBindings).
+do_expand_vars(Bindings, Query, Expanded, NewBindings) :-
+    '$factorize_term'(Query, Skel, Assignments),
+    !,
+    phrase(expand_vars(Bindings, Skel+Assignments, Expanded+EAssignments),
+           NewBindings),
+    rebind(EAssignments).
+
+expand_vars(_, Var, Var) -->
+    { var(Var) },
+    !.
+expand_vars(_, Atomic, Atomic) -->
+    { atomic(Atomic) },
+    !.
+expand_vars(Bindings, $(Var), Value) -->
+    { name_var(Var, Bindings, Name),
+      (   toplevel_var(Name, Value)
+      ->  !
+      ;   throw(error(existence_error(answer_variable, Name), _))
+      )
+    },
+    [ Name = Value ].
+expand_vars(Bindings, Term, Expanded) -->
+    { compound_name_arity(Term, Name, Arity),
+      !,
+      compound_name_arity(Expanded, Name, Arity),
+      End is Arity + 1
+    },
+    expand_args(1, End, Bindings, Term, Expanded).
+
+expand_args(End, End, _, _, _) --> !.
+expand_args(Arg0, End, Bindings, T0, T) -->
+    { arg(Arg0, T0, V0),
+      arg(Arg0, T, V1),
+      Arg1 is Arg0 + 1
+    },
+    expand_vars(Bindings, V0, V1),
+    expand_args(Arg1, End, Bindings, T0, T).
+
+name_var(Var, [VarName = TheVar|_], VarName) :-
+    Var == TheVar,
+    !.
+name_var(Var, [_|T], Name) :-
+    name_var(Var, T, Name).
+
+
+delete_bound_vars([], _, []).
+delete_bound_vars([H|T0], Free, [H|T1]) :-
+    H = (_Name = Value),
+    v_member(Value, Free),
+    !,
+    delete_bound_vars(T0, Free, T1).
+delete_bound_vars([_|T0], Free, T1) :-
+    delete_bound_vars(T0, Free, T1).
+
+v_member(V, [H|T]) :-
+    (   V == H
+    ;   v_member(V, T)
+    ).
+
+rebind([]).
+rebind([Var=Value|T]) :-
+    Var = Value,
+    rebind(T).
+
+%!  '$save_toplevel_vars'(+Bindings) is det.
+%
+%   Save toplevel variable bindings.
+
+'$save_toplevel_vars'(Bindings) :-
+    (   current_prolog_flag(toplevel_var_size, Count),
+        Count > 0
+    ->  assert_bindings(Bindings)
+    ;   true
+    ).
+
+assert_bindings([]).
+assert_bindings([Var = Value|Tail]) :-
+    assert_binding(Var, Value),
+    assert_bindings(Tail).
+
+assert_binding(Var, Value) :-
+    (   ( nonvar(Value) ; attvar(Value))
+    ->  update_var(Var, Value)
+    ;   true
+    ).
+
+update_var(Name, Value) :-
+    current_prolog_flag(toplevel_mode, recursive),
+    !,
+    (   nb_current('$topvar', Bindings),
+        Bindings \== []
+    ->  true
+    ;   Bindings = '$topvar'{}
+    ),
+    put_dict(Name, Bindings, Value, NewBindings),
+    b_setval('$topvar', NewBindings).
+update_var(Name, Value) :-
+    delete_var(Name),
+    set_var(Name, Value).
+
+delete_var(Name) :-
+    forall(recorded('$topvar', Name = _, Ref), erase(Ref)).
+
+set_var(Name, Value) :-
+    current_prolog_flag(toplevel_var_size, Count),
+    !,
+    (   '$term_size'(Value, Count, _)
+    ->  recorda('$topvar', Name = Value, _)
+    ;   true
+    ).
+set_var(Name, Value) :-
+    recorda('$topvar', Name = Value, _).
+
+toplevel_var(Var, Binding) :-
+    current_prolog_flag(toplevel_mode, recursive),
+    !,
+    nb_current('$topvar', Bindings),
+    Bindings \== [],
+    get_dict(Var, Bindings, Binding).
+toplevel_var(Var, Binding) :-
+    recorded('$topvar', Var=Binding).
+
+%!  '$switch_toplevel_mode'(+Mode) is det.
+%
+%   Migrate the variable database when switching   to a new toplevel
+%   mode. Alternatively we may decide to wipe it as the semantics of
+%   the variables may be slightly different.
+
+'$switch_toplevel_mode'(recursive) :-
+    findall(Name-Value, retract_topvar(Name, Value), Pairs),
+    dict_pairs(Bindings, '$topvar', Pairs),
+    b_setval('$topvar', Bindings).
+'$switch_toplevel_mode'(backtracking) :-
+    (   nb_current('$topvar', Dict),
+        Dict \== []
+    ->  forall(get_dict(Name, Dict, Value),
+               recorda('$topvar', Name = Value, _))
+    ),
+    nb_delete('$topvar').
+
+retract_topvar(Name, Value) :-
+    recorded('$topvar', Name=Value, Ref),
+    erase(Ref).
+
+%!  print_toplevel_variables
+%
+%   Print known bindings for toplevel ($Var) variables.
+
+print_toplevel_variables :-
+    (   toplevel_var(Name, Value)
+    *-> format('$~w =~t~12|~p~n', [Name, Value]),
+        fail
+    ;   format('No defined toplevel variables~n')
+    ).
+
+verbose_expansion(on) :-
+    !,
+    retractall(verbose),
+    asserta(verbose).
+verbose_expansion(off) :-
+    retractall(verbose).
+

package/lib/swipl/cmake/swipl.cmake

@@ -0,0 +1,131 @@
+# This CMake include file is intended  to facilitate building SWI-Prolog
+# packs  that  include  foreign  code  using   CMake.  It  provides  the
+# following:
+#
+#   - A library target `swipl::libswipl`. If this is a public
+#     installaton this is achieved by including
+#     `<prefix>/lib/cmake/swipl/SWIPLTargets.cmake` which is created
+#     by the SWI-Prolog build.  Else it is assembled here from the
+#     environment variables that are provided by pack_install/1.
+#
+#   - If figures out whether modules need to be linked against
+#     libswipl.so.  Notably on ELF platforms this is not needed,
+#     which implies the module remains independent from the exact
+#     Prolog version.
+#
+#   - It provides a function target_link_swipl(target) that uses
+#     the above to either add `swipl::libswipl` to your target,
+#     or, if linking is not needed, only the include directories.
+#
+#   - It provides a function swipl_add_test(name) that runs a
+#     test file from test/test_${name}.pl
+
+if("$ENV{SWIPL_PACK_VERSION}" EQUAL 2)
+  set(swipl_home_dir   $ENV{SWIPL_HOME_DIR})
+  set(swipl_version    $ENV{SWIPL_VERSION})
+  set(swipl_module_lib $ENV{SWIPL_MODULE_LIB})
+  set(swipl_module_dir $ENV{SWIPL_MODULE_DIR})
+elseif($ENV{SWIHOME})		# Pack version 1
+  set(swipl_home_dir   $ENV{SWIHOME})
+  set(swipl_version    $ENV{SWIPLVERSION})
+  set(swipl_module_lib $ENV{SWISOLIB})
+  set(swipl_module_dir $ENV{PACKSODIR})
+else()				# Outside pack_install
+  function(swipl_config)
+    find_program(SWIPL swipl REQUIRED)
+    execute_process(
+      COMMAND ${SWIPL} --dump-runtime-variables
+      OUTPUT_VARIABLE swipl_config)
+    string(REGEX REPLACE "\n" ";" swipl_config_lines ${swipl_config})
+    foreach(swipl_config_line ${swipl_config_lines})
+      if(swipl_config_line MATCHES "^([A-Z_]*)=\"(.*)\"")
+	set(${CMAKE_MATCH_1} ${CMAKE_MATCH_2} PARENT_SCOPE)
+      endif()
+    endforeach()
+  endfunction()
+  swipl_config()
+  set(swipl_home_dir   ${PLBASE})
+  set(swipl_version    ${PLVERSION})
+  if(CMAKE_EXECUTABLE_FORMAT MATCHES ELF)
+    set(swipl_module_lib)
+  else()
+    set(swipl_module_lib ${PLLIB})
+  endif()
+  set(swipl_module_dir lib/${PLARCH})
+endif()
+
+math(EXPR swipl_version_major "${swipl_version} / 10000")
+
+if(${swipl_home_dir} MATCHES "/home$")
+  cmake_path(GET swipl_home_dir PARENT_PATH swipl_build_dir)
+  message("Using swipl from build directory ${swipl_build_dir}.")
+
+  find_library(swipl_libs
+    NAMES swipl
+    PATHS "${swipl_build_dir}/src"
+    NO_CMAKE_ENVIRONMENT_PATH
+    NO_CMAKE_FIND_ROOT_PATH
+    NO_CMAKE_PATH
+    NO_CMAKE_SYSTEM_PATH
+    NO_DEFAULT_PATH
+    NO_PACKAGE_ROOT_PATH
+    NO_SYSTEM_ENVIRONMENT_PATH)
+  cmake_path(GET swipl_libs FILENAME swipl_soname)
+  set(swipl_soname "${swipl_soname}.${swipl_version_major}")
+
+  add_library(swipl::libswipl SHARED IMPORTED)
+  set_target_properties(swipl::libswipl PROPERTIES
+    INTERFACE_INCLUDE_DIRECTORIES ${swipl_home_dir}/include
+    IMPORTED_LOCATION ${swipl_libs}
+    IMPORTED_SONAME ${swipl_soname})
+else()
+  cmake_path(GET swipl_home_dir PARENT_PATH libdir)
+  if(EXISTS "${libdir}/cmake/swipl/SWIPLTargets.cmake")
+    message("Using CMake exports from ${libdir}/cmake/swipl")
+    set(CMAKE_MODULE_PATH ${CMAKE_MODULE_PATH} "${libdir}/cmake/swipl")
+    include(SWIPLTargets)
+  endif()
+endif()
+
+if(swipl_module_lib)
+  if("${swipl_module_lib}" STREQUAL "")
+    set(SWIPL_MODULE_LINK_LIBSWIPL OFF)
+  else()
+    set(SWIPL_MODULE_LINK_LIBSWIPL ON)
+  endif()
+else()
+  if(CMAKE_EXECUTABLE_FORMAT STREQUAL "ELF")
+    set(SWIPL_MODULE_LINK_LIBSWIPL OFF)
+  else()
+    set(SWIPL_MODULE_LINK_LIBSWIPL ON)
+  endif()
+endif()
+
+function(target_link_swipl target)
+  if(SWIPL_MODULE_LINK_LIBSWIPL)
+    message("Platform needs to link against libswipl.")
+    target_link_libraries(${target} PRIVATE swipl::libswipl)
+  else()
+    message("Platform does not need to link against libswipl.")
+    get_property(swipl_include_dir
+      TARGET swipl::libswipl
+      PROPERTY INTERFACE_INCLUDE_DIRECTORIES)
+    target_include_directories(${target}
+      PRIVATE ${swipl_include_dir})
+  endif()
+  set_target_properties(${target} PROPERTIES
+    OUTPUT_NAME ${target} PREFIX "")
+endfunction()
+
+function(swipl_add_test name)
+  add_test(NAME ${name}
+	   COMMAND ${SWIPL} -p foreign=${CMAKE_CURRENT_SOURCE_DIR}/${swipl_module_dir}
+	                    -p library=${CMAKE_CURRENT_SOURCE_DIR}/prolog
+			    --on-error=status
+			    -g test_${name}
+			    -t halt
+	                    ${CMAKE_CURRENT_SOURCE_DIR}/test/test_${name}.pl)
+endfunction()
+
+# Avoid message on unused variable
+set(SWIPL "${SWIPL}")

package/lib/swipl/customize/README.md

@@ -0,0 +1,23 @@
+# SWI-Prolog customization files
+
+This directory contains example user-customisation   files. Please check
+the files themselves for options and installation hints.
+
+The file `init.pl` provides a template  for personalizing SWI-Prolog. On
+Unix systems it is installed using
+
+    mkdir -p ${XDG_DATA_HOME-$HOME/.config}/swi-prolog
+    cp init.pl ${XDG_DATA_HOME-$HOME/.config}/swi-prolog
+
+On Windows systems it is searched   for  in `swi-prolog` subdirectory of
+the CSIDL folder CSIDL_APPDATA.
+
+The `edit` script is for asking a PceEmacs server to edit files for you.
+PceEmacs normally creates a unix  domain   socket  in  its configuration
+directory. After starting PceEmacs, edit can be used as
+
+    edit file
+    edit file:line
+    edit file:line:column
+
+If PceEmacs cannot be contacted, `emacs` is called.

package/lib/swipl/customize/edit

@@ -0,0 +1,101 @@
+#!/bin/sh -f
+#
+# Ask PceEmacs to edit files for  me.   To  use  this package, make sure
+# xpce-client is installed in  your  path   and  one  XPCE  process runs
+# PceEmacs as a server. One way to do   that  is to put the following in
+# your X startup:
+#
+#      xterm -iconic -title 'PceEmacs server' -e swipl -g emacs_server
+#
+# If you use the `terminator`  terminal   emulator,  consider adding the
+# editor plugin from https://github.com/mchelem/terminator-editor-plugin
+# and use the command ``edit  --no-wait {filepath}:{line}``. This allows
+# opening  locations  reported  as  `file:line`    to  be  opened  using
+# ctrl-click in PceEmacs.
+#
+# Author: Jan Wielemaker
+# Copying: Public domain
+
+usage()
+{ echo "usage: `basename $0` [--no-wait] [+line] file[:line]"
+  exit 1
+}
+
+line=""
+opts="-bc"
+wait=wait
+
+HOST=`hostname`
+APPCONFIG=${XDG_DATA_HOME-$HOME/.config}/swi-prolog/xpce
+serverbase="$APPCONFIG/emacs_server"
+
+case "$DISPLAY" in
+  :*)	server=$serverbase.$(echo "$DISPLAY" | sed 's/^:\([0-9]*\).*/\1/')
+	;;
+  *)	server=$serverbase.$HOST
+        ;;
+esac
+
+#echo "Server = $server"
+
+if [ ! -S "$server" -o -z "$DISPLAY" ]; then
+    server="$serverbase"
+    if [ ! -S "$server" ]; then
+	echo "No PceEmacs server"
+	exec emacs "$*"
+    fi
+fi
+
+done=false
+while [ $done = false ]; do
+    case "$1" in
+	+[0-9]*)
+		line=`echo "$1" | sed 's/^+//'`
+		shift
+		;;
+	--no-wait)
+		opts=-c
+		wait=nowait
+		shift
+		;;
+	*)
+		done=true
+		;;
+    esac
+done
+
+file="$1"
+
+case "$file" in
+	"")	usage
+		;;
+	[~/]*)	;;
+	*)	file=`pwd`/$file ;;
+esac
+
+case "$file" in
+	*:[0-9]*:[0-9]*)
+		eval `echo $file | sed 's/\(.*\):\([0-9]*\):\([0-9]*\)$/file=\1;line=\2;charpos=\3/'`
+		;;
+	*:[0-9]*)
+		eval `echo $file | sed 's/\(.*\):\([0-9]*\)$/file=\1;line=\2/'`
+		;;
+esac
+
+if [ -z "$line" ]; then
+	cmd="edit('$file',[],[],$wait)"
+elif [ -z "$charpos" ]; then
+	cmd="edit('$file',$line,[],$wait)"
+else
+	cmd="edit('$file',$line,$charpos,$wait)"
+fi
+
+xpce-client $server $opts "$cmd"
+
+if [ $? = 2 ]; then
+  if [ "$line" = "" ]; then
+    exec emacs "$file";
+  else
+    exec emacs "$file" +$line
+  fi
+fi

package/lib/swipl/customize/init.pl

@@ -0,0 +1,164 @@
+/*  -*- Prolog -*-
+
+    SWI-Prolog personalization file
+*/
+
+/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+This is a sample user-initialisation file for SWI-Prolog. If you wish to
+customise prolog, make  a  copy  of  this   file  and  edit  it  to your
+preferences.
+
+This file must be installed in <config>/init.pl. <config> can be found
+using
+
+    ?- absolute_file_name(app_config(.), Dir, [file_type(directory)]).
+
+More hints on useful things you  can  put   into  this  file  are in the
+SWI-Prolog reference manual. Notably look   at debugger settings, editor
+hooks, file_search_path/2, set_prolog_flag/2 and portray/1.
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
+
+		 /*******************************
+		 *	       IDE		*
+		 *******************************/
+
+%	By default, xpce (the  graphics  library)   runs  in  a separate
+%	thread. This allows editing and inspecting your program while it
+%	is running. All components of the Prolog development environment
+%	are aware of this. If you use   your own xpce based applications
+%	and if you develop using xpce, it  might be wise to disable this
+%	feature and keep xpce in the thread `main`.
+
+% :- set_prolog_flag(xpce_threaded, false).
+
+
+		 /*******************************
+		 *	      EDITOR		*
+		 *******************************/
+
+%	Define the editor to use.  Note that more advanced manipulation
+%	of this is defined in the SWI-Prolog reference manual, section
+%	"Listing and Editor Interface"
+%
+%	The value pce_emacs (or built_in) causes the system to use the
+%	built-in editor PceEmacs if the environment provides for a GUI.
+%	pce_emacs is the default if XPCE is available.
+%
+%	The second entry defines an arbitrary editor and how to tell
+%	SWI-Prolog to open a file with it on a specified line-number.
+
+% :- set_prolog_flag(editor, pce_emacs).
+% :- set_prolog_flag(editor, pico).
+
+%:- multifile
+%	prolog_edit:edit_command/2.
+%
+%prolog_edit:edit_command(pico, '%e +%d "%f"').
+%prolog_edit:edit_command(pico, '%e "%f"').
+
+
+		 /*******************************
+		 *	      DEBUGGING		*
+		 *******************************/
+
+%	If you prefer graphical tracing, add the line below.
+
+% :- (current_prolog_flag(gui, true) -> guitracer ; true).
+
+%	Determine how terms are printed by the debugger and toplevel.  The
+%	values here are defaults. max_depth(10) replaces all subterms at
+%	a greater depth with elipses (...). See write_term/3 for further
+%	explanation and more options.
+
+% :- set_prolog_flag(answer_write_options,
+%		     [quoted(true), portray(true), max_depth(10)]).
+% :- set_prolog_flag(debugger_write_options,
+%		     [quoted(true), portray(true), max_depth(10)]).
+
+%	If you want to suppress printing toplevel query variables
+%	starting with an `_'
+
+% :- set_prolog_flag(toplevel_print_anon, false).
+
+%	If you do not want the tracer to stop at at the exit port.
+
+% :- leash(-exit).
+
+%	control stacktraces for uncaught exceptions:
+%
+%	  - _depth_: max # frames displayed
+%	  - _goal_depth_: copy depth for goals.  Higher numbers show
+%	    more details about the arguments, but may run out of
+%	    memory or make the message too verbose.
+%         - _show_lines_: try to derive lines numbers.  Makes generating
+%           stack traces a lot slower, but typically ok.
+
+%:- set_prolog_flag(backtrace,            true).
+%:- set_prolog_flag(backtrace_depth,      20).
+%:- set_prolog_flag(backtrace_goal_depth, 3).
+%:- set_prolog_flag(backtrace_show_lines, true).
+
+
+		 /*******************************
+		 *	 CONSOLE FEEDBACK	*
+		 *******************************/
+
+%	Use the flag below to  disable   coloured  output  in all cases.
+%	Normally,  coloured  output  is  enabled  if  the  output  is  a
+%	terminal.
+
+% :- set_prolog_flag(color_term, false).
+
+%	Specify colors for the above,  based   on  the  message kind See
+%	ansi_format/3 for specifying visual  effects.   The  table below
+%	duplicates the default behavior.  Notably   on  terminals with a
+%	dark background, yellow might be a   better  choice for warnings
+%	and errors.
+
+%:- multifile user:message_property/2.
+%
+%user:message_property(informational, color(fg(green))).
+%user:message_property(information,   color(fg(green))).
+%user:message_property(debug,         color(fg(blue))).
+%user:message_property(warning,       color(fg(red))).
+%user:message_property(error,         color([fg(red),bold])).
+
+%	Specify feedback for loading files.  Values are `full` (feedback
+%	at start and end of each  file),   `normal`  (feedback at end of
+%	each file), `brief` (feedback  at  end   of  toplevel  file) and
+%	`silent` (no feedback).
+
+% :- set_prolog_flag(verbose_load, silent).
+
+
+		 /*******************************
+		 *     COMMAND LINE HISTORY	*
+		 *******************************/
+
+%	If you want to access the command-history like a Unix shell,
+%	set =history= to the number of commands to remember.
+
+% :- set_prolog_flag(history, 50).
+
+% Set =save_history= to =false= if you never want to save/restore the
+% command history.   Normally, the history is enabled if the system
+% provides a history and the input comes from a terminal.
+
+% :- set_prolog_flag(save_history, false).
+
+
+		 /*******************************
+		 *      RATIONAL NUMBERS	*
+		 *******************************/
+
+% As of version 8.1.22 SWI-Prolog  provides   native  support for proper
+% atomic rational nubers. This is controlled by the two flags below. The
+% default  is  conservative,  supporting  rationals  as  `1r3`  and  use
+% floating point numbers for integer   divisions  and exponentation with
+% negative exponent (e.g., `2^(-2)`).
+%
+% Please try enabling the settings below.  Future versions may switch to
+% these defaults. Please report experience on the SWI-Prolog forum.
+
+%:- set_prolog_flag(prefer_rationals, true).     % Int/Int --> Rational
+%:- set_prolog_flag(rational_syntax,  natural).  % Write as `1/3`