使用
生成数字时使用SWI-Prologcode_type(X,digit).
结果是预期的ASCII字符代码和
178 (0xB2) ²
179 (0xB3) ³
185 (0xB9) ¹
e.g。
code_type(X,digit).
X = 48 ;
X = 49 ;
X = 50 ;
X = 51 ;
X = 52 ;
X = 53 ;
X = 54 ;
X = 55 ;
X = 56 ;
X = 57 ;
X = 178 ;
X = 179 ;
X = 185 ;
false.
如何禁用或更改功能，使0-9以外的字符不是数字？
显然我可以编写一个不同的例程，但我想知道是否有一些可以执行的选项或语句。
SWI-Prolog (Multi-threaded, 32 bits, Version 7.2.3)
current_prolog_flag(Name,Value).
query_debug_settings: debug(false,false)
save_history: true
debug: false
generate_debug_info: true
verbose_load: silent
emulated_dialect: swi
sandboxed_load: false
optimise: false
toplevel_var_size: 1000
allow_dot_in_atom: false
toplevel_prompt: ~m~d~l~! ?-
toplevel_print_anon: true
access_level: user
verbose_autoload: false
toplevel_extra_white_line: true
gui: true
timezone: 18000
verbose_file_search: false
char_conversion: false
history: 25
colon_sets_calling_context: true
verbose: normal
traditional: false
agc_margin: 10000
encoding: text
readline: false
break_level: 0
xpce: true
write_attributes: ignore
answer_format: ~p
quasi_quotations: true
bounded: false
min_tagged_integer: -16777216
integer_rounding_function: toward_zero
gmp_version: 5
xpce_version: 6.6.66
dde: true
gc: true
write_help_with_overstrike: false
user_flags: silent
address_bits: 32
max_tagged_integer: 16777215
allow_variable_name_as_functor: false
editor: pce_emacs
debug_on_error: true
shared_object_extension: dll
xpce_threaded: true
resource_database: c:/program files (x86)/swipl/boot32.prc
debugger_show_context: false
character_escapes: true
shared_object_search_path: PATH
iso: false
large_files: true
debugger_write_options: [quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]
pipe: true
c_cflags:
open_shared_object: true
threads: true
unload_foreign_libraries: false
home: c:/program files (x86)/swipl
prompt_alternatives_on: determinism
system_thread_id: 12492
dialect: swi
pid: 9796
executable: C:\Program Files (x86)\swipl\bin\swipl-win.exe
c_cc: gcc
last_call_optimisation: true
qcompile: false
warn_override_implicit_import: true
unknown: error
c_ldflags:
print_write_options: [portray(true),quoted(true),numbervars(true)]
c_libs:
c_libplso: -lswipl
max_arity: unbounded
report_error: true
trace_gc: false
autoload: true
answer_write_options: [quoted(true),portray(true),max_depth(10),spacing(next_argument)]
debug_term_position: false
back_quotes: codes
occurs_check: false
compile_meta_arguments: false
os_argv: [C:\Program Files (x86)\swipl\bin\swipl-win.exe,--win_app]
argv: []
emacs_inferior_process: false
cpu_count: 4
file_name_variables: false
color_term: true
version_data: swi(7,2,3,[])
hwnd: 924196
version_git: 7.2.3
console_menu: true
toplevel_residue_vars: false
double_quotes: string
stream_type_check: loose
windows: true
fileerrors: true
version: 70203
signals: true
arch: i386-win32
toplevel_print_factorized: false
compiled_at: Aug 25 2015, 13:45:56
tty_control: true
current_locale(X).
X = default.
locale_property(X,Y).
X = default,
Y = alias(default) ;
X = default,
Y = decimal_point('.') ;
X = default,
Y = thousands_sep(',') ;
X = default,
Y = grouping([repeat(3)]).
Windows PowerShell
PS C:\> Get-UICulture
LCID Name DisplayName
---- ---- -----------
1033 en-US English (United States)
PS C:\> Get-CimInstance Win32_OperatingSystem | FL *
Status : OK
Name : Microsoft Windows 10 Pro|C:\WINDOWS|\Device\Harddisk0\Partition4
FreePhysicalMemory : 853644
FreeSpaceInPagingFiles : 7062504
FreeVirtualMemory : 2415552
Caption : Microsoft Windows 10 Pro
InstallDate : 8/4/2016 8:35:18 AM
CreationClassName : Win32_OperatingSystem
CSCreationClassName : Win32_ComputerSystem
CurrentTimeZone : -300
LastBootUpTime : 1/11/2017 1:41:34 PM
LocalDateTime : 1/14/2017 3:48:46 PM
MaxNumberOfProcesses : 4294967295
MaxProcessMemorySize : 137438953344
OSType : 18
Version : 10.0.14393
BuildNumber : 14393
BuildType : Multiprocessor Free
CodeSet : 1252
CountryCode : 1
DataExecutionPrevention_32BitApplications : True
DataExecutionPrevention_Available : True
DataExecutionPrevention_Drivers : True
DataExecutionPrevention_SupportPolicy : 2
Debug : False
Locale : 0409
Manufacturer : Microsoft Corporation
MUILanguages : {en-US}
OperatingSystemSKU : 48
Organization : Windows User
OSArchitecture : 64-bit
OSLanguage : 1033
OSProductSuite : 256
PortableOperatingSystem : False
Primary : True
ProductType : 1
ServicePackMajorVersion : 0
ServicePackMinorVersion : 0
SuiteMask : 272
SystemDirectory : C:\WINDOWS\system32
SystemDrive : C:
WindowsDirectory : C:\WINDOWS
code_type(X,digit).
X = 48 ;
X = 49 ;
X = 50 ;
X = 51 ;
X = 52 ;
X = 53 ;
X = 54 ;
X = 55 ;
X = 56 ;
X = 57 ;
X = 178 ;
X = 179 ;
X = 185 ;
false.
X is 0'².
X = 178.
X is 0'³.
X = 179.
X is 0'¹.
X = 185.
code_type(47,digit).
false.
code_type(48,digit).
true.
code_type(0'0,digit).
true.
code_type(57,digit).
true.
code_type(58,digit).
false.
code_type(0'9,digit).
true.
code_type(177,digit).
false.
code_type(178,digit).
true.
code_type(179,digit).
true.
code_type(180,digit).
false.
code_type(184,digit).
false.
code_type(185,digit).
true.
code_type(186,digit).
false.
char_type(X,digit).
X = '0' ;
X = '1' ;
X = '2' ;
X = '3' ;
X = '4' ;
X = '5' ;
X = '6' ;
X = '7' ;
X = '8' ;
X = '9' ;
X = ² ;
X = ³ ;
X = ¹ ;
false.
作为char_type / 2，但使用字符代码而不是单字符 原子。请注意，两个谓词都尽可能灵活。 如果参数被实例化，它们处理任一表示 将仅使用整数代码或单字符原子实例化， 取决于使用的版本。另见Prolog标志double_quotes， atom_chars / 2和atom_codes / 2.
测试或生成替代类型或字符 字符类型的灵感来自标准的C
<ctype.h>原语。char_type（？Char，？Type）
数字 - 字符是数字。
2.15.1.8 Unicode Prolog source
SWI-Prolog Unicode字符分类基于版本 6.0.0的Unicode标准。请注意char_type / 2和朋友，打算用于除Prolog源代码之外的所有文本， 基于C库基于语言环境的分类例程。
但不知道如何找到C library locale-based classification routines
我使用swi prolog code_type digit 178进行了Google搜索，但没有任何解释这一点的内容显示出来。
SWI-Prolog支持宽字符，带字符代码的字符 高于255，不能用单个字节表示。普遍 字符集（UCS）是指定a的ISO / IEC 10646标准 任何语言中任何字符的唯一31位无符号整数。它 是16位Unicode的超集，而后者又是超集 ISO 8859-1（ISO Latin-1），US-ASCII的超集。 UCS可以处理字符串 持有多种语言和角色的人物 分类（大写，小写，数字等）和操作等 因为案件转换是明确定义的。
0030;DIGIT ZERO;Nd;0;EN;;0;0;0;N;;;;;
0031;DIGIT ONE;Nd;0;EN;;1;1;1;N;;;;;
0032;DIGIT TWO;Nd;0;EN;;2;2;2;N;;;;;
0033;DIGIT THREE;Nd;0;EN;;3;3;3;N;;;;;
0034;DIGIT FOUR;Nd;0;EN;;4;4;4;N;;;;;
0035;DIGIT FIVE;Nd;0;EN;;5;5;5;N;;;;;
0036;DIGIT SIX;Nd;0;EN;;6;6;6;N;;;;;
0037;DIGIT SEVEN;Nd;0;EN;;7;7;7;N;;;;;
0038;DIGIT EIGHT;Nd;0;EN;;8;8;8;N;;;;;
0039;DIGIT NINE;Nd;0;EN;;9;9;9;N;;;;;
00B2;SUPERSCRIPT TWO;No;0;EN;<super> 0032;;2;2;N;SUPERSCRIPT DIGIT TWO;;;;
00B3;SUPERSCRIPT THREE;No;0;EN;<super> 0033;;3;3;N;SUPERSCRIPT DIGIT THREE;;;;
00B9;SUPERSCRIPT ONE;No;0;EN;<super> 0031;;1;1;N;SUPERSCRIPT DIGIT ONE;;;;
ISO 8859-1
显示¹，²，³
我还卸载了32位版本并安装了64位版本
SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3但结果仍然相同。
我还在另一台从未安装过SWI-Prolog的Windows 10机器上安装了64位版本，但结果仍然相同。
我检查了在Windows 7旗舰版6.1.7601上运行的旧版SWI-Prolog (Multi-threaded, 64 bits, Version 6.4.1)，结果仍然相同。
This module defines:
char_type(?Char, ?Type)
code_type(?Char, ?Type)
很多人都没有意识到这一点，因为它仍处于 beta 但是使用Windows 10 64位可以运行Ubuntu软件包，并在名为 {{的Windows子系统上执行其他Ubuntu工作。 3}} ，也称为适用于Linux的Windows子系统。
安装Bash on Ubuntu on Windows后按照WSL上的说明启动SWI-Prolog，我得到了预期的输出。
findall(C,char_type(C,digit),Cs).
Cs = ['0', '1', '2', '3', '4', '5', '6', '7', '8', '9'].
答案 0 :(得分：1)
请参阅section on locale support。如果你从顶层运行：
?- current_locale(Locale).
然后你得到Locale = default，那么你当前的线程正在使用系统区域设置。你可以通过运行：
$ locale
您应该可以使用其他内置插件，例如locale_create/3和locale_set/1，例如：
?- locale_create(Locale, "C", []),
set_locale(Locale),
findall(C, char_type(C, digit), Cs),
locale_destroy(Locale).
Locale = <locale>(0x2043ec0),
Cs = ['0', '1', '2', '3', '4', '5', '6', '7', '8', '9'].
我的系统上没有安装任何有趣的语言环境，所以我无法轻易检查这是否真的是问题。