Lập trình SWI-Prolog ________________________________________
k2 khmt3
sưu tầm và tạm dịch , có gì các bạn thông cảm. )
Installation of SWI-Prolog
Cài đặt của SWI-Prolog
Before the installation of SWI-Prolog-Editor you should install SWI-
Prolog.
Trước khi cài đặt SWI-Prolog-Biên soạn bạn nên cài đặt SWI-Prolog.
You find the necessary programs and help-files on the » SWI-Prolog
Site :
Bạn tìm cần thiết chương trình và giúp-file trên »SWI-Prolog Site:
• SWI-Prolog/XPCE for MS-Windows (Win32 binary)
SWI-Prolog/XPCE cho MS-Windows (Win32 nhị phân)
• HTML-Manual for SWI-Prolog
HTML-Hướng dẫn cho SWI-Prolog
• HTML-Manual for XPCE<
HTML-Hướng dẫn cho XPCE <
First install SWI-Prolog.
Đầu tiên cài đặt SWI-Prolog.
In school-situations you should install SWI-Prolog on a server.
Trong trường-tình huống bạn nên cài đặt SWI-Prolog trên một máy chủ.
Then unzip the HTML-Manual of SWI-Prolog and the HTML-Manual of XPCE
into the SWI-Prolog-directory.
Sau đó unzip HTML-Hướng dẫn của SWI-Prolog và HTML-Hướng dẫn của XPCE
vào SWI-Prolog-thư mục.
During unzipping the corresponding folders Manual and UserGuide are
automatically created.
Trong thời gian tương ứng unzipping thư mục Hướng dẫn và UserGuide
được tự động tạo ra.
Installation of SWI-Prolog-Editor
Cài đặt của SWI-Prolog-Biên soạn
After the download of the SWI-Prolog-Editor you unzip the files into a
temporary folder und execute the setup.exe program.
Sau khi việc tải xuống của SWI-Prolog-Editor bạn unzip các file vào
một thư mục tạm thời und thực hiện các chương trình setup.exe.
The installation-program has special support for school-situations. It
is possible to install the SWI-Prolog-Editor local or on a server. You
can choose the folder for installation
-Cài đặt chương trình đã hỗ trợ đặc biệt cho các trường học-tình
huống. Đó là có thể cài đặt các SWI-Prolog-Biên soạn địa phương, hoặc
trên một máy chủ. Bạn có thể chọn cho thư mục cài đặt
At the end of installation you execute SWI-Prolog-Editor to initialize
the registry or INI-files.
Sau khi kết thúc cài đặt, bạn thực hiện SWI-Prolog-biên soạn để khởi
tạo hoặc các đăng ký này-file.
Control the configuration in menu Window|Configuration.
Kiểm soát các cấu hình trong trình đơn Window | Cấu hình.
Installation on a server
Cài đặt trên một máy chủ
First install SWI-Prolog-Editor from one client on the server.
Đầu tiên cài đặt SWI-Prolog-Biên soạn từ một trong những khách hàng
trên máy chủ.
From each other client you start the setup-programm from the server
and choose Connect to create a desktop-icon and an entry in the start
menu.
Mỗi từ các khách hàng của bạn bắt đầu thiết lập-Chương trình từ máy
chủ và chọn Kết nối để tạo ra một máy tính để bàn-mục mới và biểu
tượng trong trình đơn bắt đầu.
Installation in INI-Files
Cài đặt trong tập tin này -
If user-configurations can't be saved in the Windows-Registry because
of protector-cards you install SWI-Prolog-Editor with INI-Files
support.
Nếu thành viên-cấu hình có thể không được lưu lại trong Windows-
Registry-bảo vệ bởi vì thẻ của bạn cài đặt SWI-Prolog-biên soạn với
các tập tin này-hỗ trợ.
With this type of installation the INI-file SWIMachine.INI is created
in the installation-folder with the system-specific configuration in
the tabsheets Program and Documentation .
Này với các loại hình cài đặt các tập tin này-SWIMachine.INI được tạo
ra trong thư mục cài đặt-với các hệ thống cụ thể cấu hình trong
tabsheets Chương trình và tài liệu.
If SWI-Prolog-Editor recogniceses during startup this INI-File in it's
start-folder, he uses the configuration from this INI-file instead
from the Windows-Registry.
, Nếu-SWI-Prolog Biên soạn recogniceses trong quá trình khởi động này
này-tệp của nó trong thư mục-bắt đầu, người sử dụng các cấu hình này
từ này-thay vì tập tin từ Windows-ký.
The user-specific configuration are stored in other folders in INI-
files.
Người sử dụng cụ thể cấu hình được lưu trữ trong các thư mục khác
trong-file này.
I suggest to use the home-directories of the users, because there is
write-access.
Tôi đề nghị để sử dụng nhà-thư mục của người sử dụng, bởi vì không có
ghi-truy cập.
The home-directory should be accessible on a local drive, by a mapped
network drive or direct by UNC-folder-naming.
Các nhà-thư mục nên có thể truy cập vào một địa phương, lái xe, bởi
một ánh xạ mạng lưới lái xe hoặc trực tiếp do UNC--đặt tên thư mục.
If necessary you can use the variable %Username% in the destination
folder for the user-specific folder.
Nếu cần thiết bạn có thể sử dụng những variable% người dùng% trong thư
mục đích cho người sử dụng thư mục cụ thể.
After installation and configuration the administrator can set the INI-
files in the installation-folder to read-only.
Sau khi cài đặt, cấu hình và người quản trị có thể cài đặt các file
này-trong-cài đặt vào thư mục chỉ đọc.
So pupils cannot change configuration of the system-specific
configuration.
Vì vậy, học sinh có thể không thay đổi cấu hình của hệ thống-cấu hình
cụ thể.
Deinstallation
For deinstallation you execute setup.exe in the installation-folder.
After deinstalltion you manually delete setup.exe.
Deinstallation cho bạn thực hiện setup.exe trong thư mục cài đặt-.
Deinstalltion Sau khi bạn xóa bằng tay setup.exe.
Material
Vật liệu
The SWI-Prolog-Editor also supports the XPCE-System, with which you
can write Windows-Programs.
The SWI-Prolog-Biên soạn cũng hỗ trợ các XPCE-hệ thống, với đó, bạn có
thể viết Windows-Chương trình.
In particular graphic outputs are possible.
Đặc biệt là đồ họa có thể có được kết quả đầu ra.
The following applications of the XPCE-Systems are offered:
Dưới đây là những ứng dụng của XPCE-Hệ thống được cung cấp:
• a turtle for Prolog
một con rùa cho Prolog
• a graphical Terminterpreter
đồ họa Terminterpreter
Newsletter
Bản tin
If you want to know about new versions of the SWI-Prolog-Editor you
can subscribe the newsletter:
Nếu bạn muốn biết về các phiên bản mới của SWI-Prolog-Editor bạn có
thể đăng ký nhận bản tin:
Your e-mail-address:
E-mail của bạn-địa chỉ:
Subscribe
Đăng ký
Unsubscribe
Bỏ đăng ký
Documentation
Tài liệu hướng dẫn
SWI-Prolog is an outstanding Prolog-implementation of Jan Wielemaker.
SWI-Prolog là một Prolog-việc triển khai thực hiện xuất sắc của Jan
Wielemaker.
For use in school the console-mode isn't really suitable.
Để sử dụng trong trường console-chế độ là không thực sự thích hợp.
The SWI-Prolog-Editor is a pupil-oriented and instruction-suited
development environment for work with SWI-Prolog.
The SWI-Prolog-Biên soạn là một học sinh định hướng và hướng dẫn-phù
hợp cho phát triển môi trường làm việc với SWI-Prolog.
Overview
Tổng quát
In the illustration you can see the program-window of the SWI-Prolog-
Editor with menu- and symbol-border.
Trong Illustration bạn có thể xem các chương trình của các cửa sổ-SWI-
Prolog-biên soạn với trình đơn-và biểu tượng-biên giới.
In the left window the Prolog-program family.pl is loaded, the right
window shows the contents of the SWI-Prolog-help.
Trong cửa sổ bên trái của chương trình Prolog-family.pl được nạp, bên
phải cửa sổ hiển thị các nội dung của SWI-Prolog-giúp đỡ.
Beneath is the SWI-Prolog-window, which currently is answering the
question ?- parent(X, maria).
Bên dưới là SWI-Prolog-cửa sổ, mà hiện nay là trả lời các câu hỏi? -
Cha mẹ (X, maria).
File-Menu
The File-Menu has in addition to the standard-operations like new,
open, save and print, the export-operation in HTML- and RTF-format.
File,-Menu đã ngoài các tiêu chuẩn-hoạt động như mới, mở, lưu và in,
các hoạt động xuất khẩu-trong HTML-và-định dạng RTF.
This enables pupils to use the syntaxhighlighting in their
documentation and teachers to use it for classwork.
Điều này cho phép học sinh sử dụng syntaxhighlighting trong các tài
liệu hướng dẫn và giáo viên để sử dụng nó cho classwork.
Edit-Menu and Editor-Symbols
Chỉnh sửa-đơn và biên soạn-Ký hiệu
The Editor supports the Windows-clipboard, search and replace
functions with multilevel undo-facilities.
Biên soạn các hỗ trợ của Windows-tạm, tìm kiếm và thay thế các chức
năng hoàn tác với Work-tiện nghi.
Via symbols one can place and seek bookmarks, line-numbers are showed
optionally.
Thông qua một biểu tượng có thể đặt và tìm kiếm các dấu, số điện thoại
đường dây-được trưng bày tùy chọn.
If the cursor is positioned direct in front of a bracket, you can jump
with the bracket-symbol to the corresponding second bracket. Marked
textblocks may be un-/indented, un-/commented or copied to the
clipboard in text-, HTML- or RTF-format.
Nếu con trỏ là vị trí trực tiếp ở phía trước một bracket, bạn có thể
nhảy với các bracket-biểu tượng để tương ứng thứ hai bracket.
Textblocks có thể được đánh dấu un-/indented, un-/commented hay sao
chép vào trong bộ nhớ đệm trong-văn bản, HTML - hoặc RTF-format.
Start-Menu
Bắt đầu-Menu
With the consult -operation of the Start-Menu or the corresponding
symbol you can consult the prolog-program in the active window.
Với sự tư vấn-Bắt đầu hoạt động của bộ máy-Menu hoặc các biểu tượng
tương ứng, bạn có thể có sự tư vấn cho prolog-chương trình hoạt động
trong cửa sổ.
With doubleclick on a error-message or -warning or with the context-
menu of the SWI-Prolog-Window the cursor is positioned on the
errorline in the sourcecode.
DoubleClick với trên một thông báo lỗi-hay-hay cảnh báo với bối cảnh
của các trình đơn-SWI-Prolog-Window con trỏ là vị trí trên errorline
trong mã nguồn.
When dealing with a query the commands continue and cancel are
activated.
Khi giao dịch với một truy vấn các lệnh tiếp tục được kích hoạt và hủy
bỏ.
So you can ask for another solution or cancel the query.
Vì vậy, bạn có thể yêu cầu cho một giải pháp hay hủy bỏ việc truy
vấn.
If necessary one can start SWI-Prolog new via the command restart .
Nếu cần thiết có thể bắt đầu một SWI-Prolog mới thông qua các lệnh
khởi động lại.
Test-Menu
Thử nghiệm-Menu
With the commands in the Test-Menu you execute a programm in trace-
modus in steps, set or reset breakpoints and display the call-stack.
Với những lệnh trong khi thử nghiệm-Menu bạn thực hiện Chương trình là
một trong trace-modus ở bước sau, hay cài đặt lại breakpoints và hiển
thị các cuộc gọi-stack.
Window-Menu
Cửa sổ-Menu
Besides the standard window-commands like arrange, open and close
windows, you can choose the desired font and execute the configuration
-facility:
Bên cạnh đó, đạt tiêu chuẩn cửa sổ-lệnh như sắp xếp, mở và đóng cửa
sổ, bạn có thể chọn font mong muốn và thực hiện các cấu hình-thiết
bị:
Configuration
Cấu hình
Program
Chương trình
The path to the SWI-Prolog-directory must be set.
Các đường dẫn đến SWI-Prolog-thư mục phải được thiết lập.
You do this by using the Select -button as the other paths will be are
adjusted accordingly.
Bạn làm điều này bằng cách sử dụng Chọn nút-như là các con đường dẫn
sẽ được được điều chỉnh phù hợp.
Based on the Prolog-Folder the dependant documentation-directories
will be determined.
Dựa trên Prolog-trực thuộc Thư mục các tài liệu hướng dẫn-thư mục này
sẽ được xác định.
Parameter is the command-line option for SWI-Prolog.
Tham số là tùy chọn dòng lệnh-cho SWI-Prolog.
By default 32 MB are reserved for the local stack.
Theo mặc định 32 MB được dành riêng cho các địa phương stack.
Documentation
Tài liệu hướng dẫn
Here you configure the directories for the commands in the Help-Menu.
Tại đây bạn có thể cấu hình thư mục cho các lệnh trong Trợ giúp-Menu.
You can also use the Online-Documentation:
Bạn cũng có thể sử dụng tài liệu-Online:
• » http://gollem.science.uva.nl/SWI-Prolog/Manual/Contents.html
»Http://gollem.science.uva.nl/SWI-Prolog/Manual/Contents.html
• » http://gollem.science.uva.nl/SWI-Prolog/Manual/DocIndex.html
»Http://gollem.science.uva.nl/SWI-Prolog/Manual/DocIndex.html
• » http://hcs.science.uva.nl/projects/xpce/UserGuide/
»Http://hcs.science.uva.nl/projects/xpce/UserGuide/
For better performance the used documentation-files are cached, which
means locally saved.
Hiệu suất tốt hơn cho việc sử dụng tài liệu lưu trữ đang-tệp tin, điều
này có nghĩa là địa phương lưu.
By default as cache-folder C:\Documents and Settings\
Theo mặc định, như là bộ nhớ cache-thư mục C: \ Documents and Settings
\
\Application Data\SWI-Prolog-Editor\Cache is used.
\ Application Data \ SWI-Prolog-Biên soạn \ Cache được sử dụng.
Editor
Biên soạn
The Tab width is adjustable.
Các Tab được điều chỉnh chiều rộng.
With activated Smarttabs the tab-key will automatically position the
cursor at the next word-beginning of the previous line.
Với kích hoạt SmartTabs tab-chìa khóa sẽ tự động tại vị trí con trỏ từ
kế tiếp-đầu của dòng trước đó.
Indent is used for marked textblocks.
Thụt lề được sử dụng để đánh dấu textblocks.
Autoindent places after pressing the return-key the cursor at the
position of the first nonspace character of the previous line.
Autoindent nơi sau khi trở lại các bấm phím-con trỏ tại vị trí của các
nonspace ký tự đầu tiên của các dòng trước đó.
The Author will be automatically carried over if you create a new
prolog-file.
Tác giả sẽ tự động được tiến hành trên nếu bạn tạo một tập tin mới
prolog-.
With Encoding you set the default encoding of new source-files.
Với Encoding bạn thiết lập mặc định mã hóa của nguồn-tác phẩm mới.
Under Structure you define how predicates, facts and rukes are shown
in the file-structure.
Theo Cơ cấu tổ chức, bạn định nghĩa như thế nào predicates, sự kiện và
rukes được hiển thị trong tập tin cấu trúc.
Code
Mã số
On this tab you activate the code-completion and parameter-hints and
define the delay in milliseconds.
Trên tab này bạn kích hoạt mã-hoàn thành và tham số-hints và xác định
những chậm trễ trong mili giây.
The code-completion is activated with the tab-key.
Ma-hoàn thành được kích hoạt bằng thẻ-chìa khóa.
It shows all predicates which start with the previously entered
letters.
Điều đó cho tất cả các predicates đó bắt đầu với các chữ cái nhập vào
trước đó.
For code-completion the Prolog-Documentation must be installed.
Để hoàn thành các mã-Prolog-Tài liệu phải được cài đặt.
Colors
Màu sắc
Here you can configure the colors for the syntax-highlighting.
Ở đây bạn có thể cấu hình màu sắc cho-tô sáng cú pháp.
If you choose a syntax-element on the left side, it's color and
textattributs are shown on the right.
Nếu bạn chọn một cú pháp-yếu tố ở phía bên trái, điều đó màu sắc và
textattributs được hiển thị bên phải.
Click on the desired colors and textattributes.
Bấm vào các màu sắc và mong muốn textattributes.
The button Standard resets all colors to the standard-colors.
Tiêu chuẩn nút resets tất cả các màu sắc để chuẩn-màu sắc.
Browser
Trình duyệt
If the internet-explorer is installed you can use it internally in SWI-
Prolog-Editor to display the documentation.
Nếu internet-explorer được cài đặt, bạn có thể sử dụng nó trong nội bộ
SWI-Prolog-Biên soạn tài liệu hướng dẫn để hiển thị.
If you wish to use the browser externally the functions of Browser-
Title and Alt-Keys for "File open" in Browser are required.
Nếu bạn không muốn sử dụng trình duyệt ra bên ngoài các chức năng của
trình duyệt-Tiêu đề và Alt-Keys cho "Kích mở" trong trình duyệt là bắt
buộc.
The SWI-Prolog-editor checks first whether the standard-browser is
already loaded. To do this it uses the browser-titel, for example
Netscape Navigator or Internet Explorer .
The SWI-Prolog-biên tập kiểm tra đầu tiên cho dù các tiêu chuẩn-trình
duyệt đã được nạp. Để làm được điều này nó sử dụng các trình duyệt-
titel, ví dụ như Netscape Navigator hoặc Internet Explorer.
If the standard-browser is already loaded, the HTML-file to be showed
is placed in the addressfield of the command File open .
Nếu các tiêu chuẩn-trình duyệt đã được nạp, HTML-file được trưng bày
được đặt trong addressfield của các tệp lệnh mở cửa.
To achieve this the File-Menu is activated with Alt-F und O chooses
the open-command.
Để đạt được điều này các tệp-Menu được kích hoạt với Alt-F und O chọn
mở-lệnh.
So one needs FO in the corresponding input field.
Như vậy, cho một nhu cầu trong lĩnh vực đầu vào tương ứng.
Printer
Máy in
Here you set the Printing-Parameters
Ở đây bạn đặt In ấn-Tham số
Header and footer are separated in three sections, left, middle and
right.
Đầu trang và chân đang bị tách trong ba phần, bên trái, trung và
quyền.
The #-character is used for separating the sections.
# Các ký tự được sử dụng cho các phần tách.
Besides fixed Text you can use the following variables to print some
special elements:
Bên cạnh đó cố định Văn bản bạn có thể sử dụng các biến sau để in đặc
biệt một số yếu tố:
%FILE%
FILE%%
the filename
các file
%PATH%
% PATH%
the filename inclusive the folder
các file gồm các thư mục
%DATE%
% DATE%
the date of printing
Trong ngày, in ấn
%TIME%
% TIME%
the time of printing
thời điểm in ấn
%PAGENUM%
% PAGENUM%
the page-number
trang-số
%PAGECOUNT%
% PAGECOUNT%
the total amount of pages
tổng số tiền của các trang
Options
Tuỳ chọn
Here you have some options
Đây bạn có một số tùy chọn
With the option Integrated SWI-Prolog-Window you can choose between
the integrated or the original SWI-Prolog-Window.
Với tùy chọn tích hợp SWI-Prolog-Window bạn có thể chọn hoặc tích hợp
giữa các ban đầu SWI-Prolog-Window.
With Return to continue you can use the return-key to ask for the next
solution of your query.
Quay trở lại tiếp tục với các bạn có thể sử dụng trở lại-chìa khóa để
yêu cầu tiếp theo của giải pháp truy vấn của bạn.
This is easier than the standard ";".
Đây là dễ dàng hơn so với những tiêu chuẩn ";".
With this option the no-/trace-symbol also deactivates the debug-
modus.
Với lựa chọn này của no-/trace-symbol cũng deactivates các debug-
modus.
It is advised to activate .pl-files link with SWI-Prolog-Editor .
Đó là thông báo để kích hoạt. Pl-file liên kết với-SWI-Prolog biên
soạn.
So you can open pl-files in the windows-explorer with doubleclick.
Vì vậy, bạn có thể mở pl-tác phẩm trong các cửa sổ-thám hiểm với
DoubleClick.
At the ende you can choose a language-file.
Tại ende bạn có thể chọn một ngôn ngữ-file.
Help-Menu
Trợ giúp-Menu
The Help-Menu gives you access to the documentation of SWI-Prolog and
XPCE. You can organize the help with own favorites.
Trợ giúp-Menu cho phép bạn truy cập vào các tài liệu hướng dẫn của SWI-
Prolog và XPCE. Bạn có thể tổ chức với sự giúp đỡ mình ưa thích.
If the cursor is placed over a predefined predicate the indexsearch F1
shows the corresponding description from the HTML-documentation.
Nếu con trỏ được đặt trên một predefined predicate các indexsearch F1
cho các mô tả tương ứng từ HTML-tài liệu hướng dẫn.
Editor
Biên soạn
The Editor is based on the » SynEdit-Komponente .
Các biên soạn dựa trên »SynEdit-Komponente.
Besides the usual editor-functions it serves indent- and unindent of
textblocks (shift+ctrl+I[indent] bzw. shift-ctrl-U [unindent]), delete
line (ctrl+Y), delete to end of line (shift+ctrl+Y) and administration
of ten bookmarks (set/delete shift+ctrl+#, jump ctrl+#).
Bên cạnh đó thông thường-editor nĩ chức năng và phục vụ indent-
unindent của textblocks (ca + ctrl + Tôi[indent] bzw. Shift ctrl-U-
[unindent]), xoá dòng (ctrl + Y), xóa đến cuối dòng (thay đổi + ctrl +
Y) và hành chính của mười dấu (thiết lập / xóa shift + ctrl + #, nhảy
ctrl + #).
You can set and delete bookmarks directly in the bookmark-column.
Bạn có thể thiết lập và xóa dấu trực tiếp trong dấu-cột.
__________________