使用 SWI-Prolog 生成数字时使用
code_type(X,digit).
结果是预期的 ASCII 字符代码和
178 (0xB2) ²
179 (0xB3) ³
185 (0xB9) ¹
例如
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)
SWI-序言标志
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
SWI-Prolog 语言环境
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
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.
我尝试/检查的内容
As char_type/2, but uses character codes rather than one-character atoms. Please note that both predicates are as flexible as possible. They handle either representation if the argument is instantiated and will instantiate only with an integer code or a one-character atom, depending of the version used. See also the Prolog flag double_quotes, atom_chars/2 and atom_codes/2.
Tests or generates alternative Types or Chars.
The character types are inspired by the standard C<ctype.h>primitives.char_type(?Char, ?Type)
digit - Char is a digit.
2.15.1.8 Unicode Prolog source
The SWI-Prolog Unicode character classification is based on version 6.0.0 of the Unicode standard. Please note that char_type/2 and friends, intended to be used with all text except Prolog source code, is based on the C library locale-based classification routines.
但不知道如何找到C library locale-based classification routines
我使用 swi prolog code_type digit 178 进行了谷歌搜索，但没有任何内容可以解释这一点。
SWI-Prolog supports wide characters, characters with character codes above 255 that cannot be represented in a single byte. Universal Character Set (UCS) is the ISO/IEC 10646 standard that specifies a unique 31-bit unsigned integer for any character in any language. It is a superset of 16-bit Unicode, which in turn is a superset of ISO 8859-1 (ISO Latin-1), a superset of US-ASCII. UCS can handle strings holding characters from multiple languages, and character classification (uppercase, lowercase, digit, etc.) and operations such as case conversion are unambiguously defined.
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
显示 ¹ , ² , ³
不同版本的 Windows 操作系统和/或 SWI-Prolog
我也卸载了32位版本，安装了64位版本
SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3 还是一样的结果。
我还在另一台从未安装过 SWI-Prolog 的 Windows 10 机器上安装了 64 位版本，结果仍然相同。
我检查了在 Windows 7 Ultimate Version 6.1.7601 上运行的旧版本 SWI-Prolog (Multi-threaded, 64 bits, Version 6.4.1)，结果仍然相同。
其他引用资料
GitHub 上的 SWI-Prolog 源代码
This module defines:
char_type(?Char, ?Type)
code_type(?Char, ?Type)
解决方法
很多人都不知道这一点，因为它仍处于测试版，但使用 Windows 10 64 位可以运行 Ubuntu 软件包并在名为 Bash on Ubuntu on Windows < 的 Windows 子系统上执行其他 Ubuntu 操作/strong>，也称为 Linux 的 Windows 子系统。
安装 WSL 然后按照 Installing from PPA (Ubuntu Personal Package Archive) 上的说明启动 SWI-Prolog 后，我得到了预期的输出。
findall(C,char_type(C,digit),Cs).
Cs = ['0', '1', '2', '3', '4', '5', '6', '7', '8', '9'].
最佳答案
参见 section on locale support .如果你运行，从顶层:
?- current_locale(Locale).
并且您得到 Locale = default，那么您的当前线程正在使用系统语言环境。您可以通过运行(在 Linux 上)获取此信息:
$ 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'].
我的系统上没有安装任何有趣的语言环境，因此我无法轻松检查这是否真的是问题所在。
关于c - 如何禁用字符代码 178 (0xB2) (²) 、179 (0xB3) (³) 和 185 (0xB9) (¹) 作为数字？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/41652772/