Huong Dan SWI-Prolog

Hưng dn SWI-Prolog

Lp trình Logic

HƯNG DN SWI-PROLOG (Version 5.6.64)

1. Bài hưng dn 1: Cài ñt SWI-Prolog . Vào trang Web ca SWI-Prolog: http://www.swi-prolog.org/ http://www.swi-prolog.org/.. Ti file cài

Bưc 1

ñt

SWI-Prolog

cho

Windows

(version

5.6.64):

http://www.swi-

prolog.org/download/stable/bin/w32pl5664.exe,, dung lưng khong 6.79 MB. prolog.org/download/stable/bin/w32pl5664.exe Lưu ý là ti ñúng bn cài ñt cho Windows vì SWI-Prolog còn nhiu bn cài ñt cho các platform khác na. . Chy file cài ñt w32pl5664.exe ñ bt ñu cài ñt SWI-Prolog cho

Bưc 2

Windows.

. Nhn I Agree, sau ñó nhn Next trong hp thoi k. Dung lưng ñĩa trng

Bưc 3

yêu cu khong 23.3 MB. Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 1


Lp trình Logic

. Trong hp thoi chn thư mc cài ñt ta chn C:\Program Files\SWI-

Bưc 4

Prolog (thay vì mc ñnh là C:\Program Files\pl ), ñơn gin vì mt tên ñy ñ thì tt hơn.

. Nhn Next. Trong hp thoi này ta chn ñuôi cho file ngun Prolog (là pl

Bưc 5

hay pro). Ta chn pl nu như không có file type nào ñăng kí ñuôi này (file ngun ca Perl cũng dùng ñuôi pl), nu không thì chn pro.  ñây chn pl.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 2


Lp trình Logic

. Trong hp thoi chn thư mc cài ñt ta chn C:\Program Files\SWI-

Bưc 4

Prolog (thay vì mc ñnh là C:\Program Files\pl ), ñơn gin vì mt tên ñy ñ thì tt hơn.

. Nhn Next. Trong hp thoi này ta chn ñuôi cho file ngun Prolog (là pl

Bưc 5

hay pro). Ta chn pl nu như không có file type nào ñăng kí ñuôi này (file ngun ca Perl cũng dùng ñuôi pl), nu không thì chn pro.  ñây chn pl.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 2


Lp trình Logic

. Nhn Install và ñi SWI-Prolog cài ñt xong.

Bưc 6

ð thun tin, chúng ta gi {SWI-Prolog} là thư mc cài ñt SWI-Prolog (là thư mc ñã chn  Bưc 4). Sau khi cài ñt thì thư mc này cha toàn b chương trình, dll và các file khác ca SWI-Prolog. Sau ñây là mt s file và thư mc quan trng: •

{SWI-Prolog}\bin: cha các file thc thi, dll ca SWI-Prolog. Trong ñó file {SWI-Prolog}\bin\plwin.exe là file chương trình thc thi ca SWIProlog. File {SWI-Prolog}\bin\plcon.exe là file chương trình chy trong Console.

•

{SWI-Prolog}\library: cha các file ngun ca các thư vin SWI-Prolog.

•

{SWI-Prolog}\doc: cha tài liu hưng dn dng Web. Khi chy SWIProlog, ta có th truy nhp Help

→

Online manual… ñ nhn ñưc giúp

ñ vi ni dung tương t nhưng trong ca s Help ca SWI-Prolog. Ta cũng có th download dng pdf ca tài liu hưng dn này trên trang Web ca SWI-Prolog (http://www.swi-prolog.org/download/stable/doc/SWI( http://www.swi-prolog.org/download/stable/doc/SWIProlog-5.6.59.pdf ). ). •

{SWI-Prolog}\demo: cha các file ngun demo ca SWI-Prolog. Trong ñó có file {SWI-Prolog}\demo\likes.pl là mt file ngun demo.

File ngun SWI-Prolog có ñuôi pl (như ñã chn  Bưc 5), cha khai báo ca các s kin cũng như các lut, … cho Knowledge Base (trong Phn hưng dn tip chúng ta vit tt là KB). Các file này ñưc gn vi plwin.exe. Khi m file ngun Prolog thì plwin.exe s chy, SWI-Prolog s ñt thư mc làm vic là thư mc cha file này và np các s kin, các lut, … trong file này vào KB.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 3


Lp trình Logic

2. Bài hưng dn 2: Truy vn Chy chương trình SWI-Prolog (file thc thi plwin.exe) chúng ta có giao din chính ca SWI-Prolog như hình sau

Sau li chào mng và gii thiu là du nhc ñi truy vn. Chúng ta gõ câu truy vn vào sau du nhc truy vn ca SWI-Prolog. Du nhc ca Prolog có dng ?-

n

vi n là s th t ca câu truy vn hin ti. Chúng ta gõ câu truy vn, ri ñn

du chm ‘.’ và nhn Enter ñ thc hin truy vn. Nu câu truy vn sai cú pháp hay có li thi gian chy thì SWI-Prolog s ñưa ra thông báo li. Nu không, SWI-Prolog s tr li truy vn. Nu mt truy vn có nhiu li gii thì bn gõ ‘ ;’ ñ xem các li gii khác. Nu không thì nhn Enter ñ kt thúc tr li truy vn và sang câu truy vn khác. Chúng ta có th chia các truy vn SWI-Prolog ra làm hai loi:

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 4

Hưng dn SWI-Prolog •

Lp trình Logic

Loi truy vn mà chúng ta trông ñi vào kt qu hp nht (hay tìm kim li gii ca) SWI-Prolog. Thưng thì truy vn loi này có cha các bin và có th có nhiu giá tr hp nht cho bin.

•

Loi truy vn mà chúng ta trông ch vào các hiu ng l (side-effect) ñ SWI-Prolog thc hin mt công vic nào ñó. Thưng thì truy vn loi này không cha bin và ta có th gi nó là lnh. . Nhp ñúp file {SWI-Prolog}\demo\likes.pl ñ chy SWI-Prolog và np

Bưc 1

các s kin, lut trong file ngun này vào KB. . Truy vn listing ñ xem các s kin và lut trong KB.

Bưc 2

1 ?- listing. italian(pizza). italian(spaghetti). likes(sam, A) :indian(A), mild(A). likes(sam, A) :chinese(A). likes(sam, A) :italian(A). likes(sam, chips). mild(dahl). mild(tandoori). mild(kurma). chinese(chow_mein). chinese(chop_suey). chinese(sweet_and_sour). indian(curry). indian(dahl). indian(tandoori).

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 5


Lp trình Logic

indian(kurma). true.

. Truy vn mild(dahl).

Bưc 3

2 ?- mild(dahl). true.

. Truy vn mild(curry) .

Bưc 4

3 ?- mild(curry). false.

. Truy vn indian(X).

Bưc 5

4 ?- indian(X). X = curry

. Gõ ‘;’ ñ xem li gii khác.

Bưc 6

4 ?- indian(X). X = curry ; X = dahl

. Gõ Enter ñ dng truy vn hin ti.

Bưc 7

4 ?- indian(X). X = curry ; X = dahl .

. Truy vn likes(sam,

Bưc 8

5 X X X X X X

X). Và dùng ‘;’ ñ xem tt c các li gii.

?- likes(sam, X). = dahl ; = tandoori ; = kurma ; = chow_mein ; = chop_suey ; = sweet_and_sour ;

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 6


Lp trình Logic

X = pizza ; X = spaghetti ; X = chips. 6 ?-

. Truy vn !!. ñ gi li truy vn trưc ñó. Sau ñó nhn Enter ñ dng các

Bưc 9

hp nht khác. 6 ?- !!. likes(sam, X). X = dahl .

. Truy vn h. ñ hin th danh sách các truy vn ñã gi.

Bưc 10

7 ?- h. 1 2 3 4 5 6

listing. mild(dahl). mild(curry). indian(X). likes(sam, X). likes(sam, X).

. Truy vn !2. ñ gi li truy vn th 2.

Bưc 11

7 ?- !2. mild(dahl). true.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 7


Lp trình Logic

3. Bài hưng dn 3: Thao tác file ngun SWI-Prolog . Chy chương trình SWI-Prolog t file plwin.exe (ñ không có file ngun

Bưc 1

nào ñưc np vào KB). Nhp lnh ñơn File → New… ñ son mt file ngun mi. Trong hp thoi Create new Prolog source ñt tên file là hello.pl, SWI-Prolog s triu gi Editor ca mình (gi là PceEmacs) ñ bn son file ngun hello.pl. . Gõ vào lut duy nht sau ñây trong file hello.pl

Bưc 2

hello :- write('Hello World').

Sau ñó lưu file và ñóng Editor. . Nhp lnh ñơn File

Bưc 3

→

Consult… ñ np mt file ngun. Trong hp thoi

Load file into Prolog chn np file hello.pl. SWI-Prolog s np các s kin và lut trong file này vào KB. . Truy vn listing ñ thy rng lut trong file hello.pl ñã ñưc thêm vào

Bưc 4

KB. 1 ?- listing. %

Foreign: tcp_debug/1

hello :write('Hello World'). true.

. Truy vn hello ñ thy công vic ca v t hello/0. V t này in ra dòng

Bưc 5

ch Hello World . 2 ?- hello. Hello World true.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 8


Lp trình Logic

. Nhp lnh ñơn File → Edit… ñ sa mt file ngun. Trong hp thoi Edit

Bưc 6

existing file chn file hello.pl ñ sa file này. Trong Editor sa ni dung file này thành như sau hello(X) :- write('Hello '), write(X).

Sau ñó lưu li và ñóng Editor. . Nhp lnh ñơn File

Bưc 7

→

Reload modified files ñ np li file ngun vì

SWI-Prolog không t np li. Truy vn

listing ñ thy nhng thay ñi này.

3 ?- listing. hello(A) :write('Hello '), write(A). true.

. Truy vn hello(nam) ñ thy công vic ca v t hello/1. V t này in

Bưc 8

ra dòng ch Hello ri ñn ñi s ta gi vào. 4 ?- hello(nam). Hello nam true.

. Nhp lnh ñơn File

Bưc 9

→

Navigator… ñ m ca s Prolog Navigator . Tìm

ñn nút ca file ngun hello.pl (file phi ñ trong  ñĩa cài ñt SWI-Prolog, có th dùng nút mũi tên lên bên trái ca thanh toolbar ñ duyt thư mc). Ta thy trong nút này cha nút hello/1 cho lut ca chúng ta, chúng ta cũng thy rng nút này có nút con write/1 ñ ch hello/1 ph thuc vào write/1.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 9


Lp trình Logic

Lưu ý:

- Khi np file ngun bng lnh ñơn File

→

Consult… thì SWI-Prolog s

thêm các lut và s kin ca file mi vào KB hin ti ch không xóa ni dung ca KB và SWI-Prolog s thêm file này vào danh sách các file mà nó ñã np. Do ñó khi nhp lnh ñơn File

→

Reload modified files thì toàn b

các file này s ñưc np li vào KB. Nu ñang có ca s SWI-Prolog mà m thêm file ngun mi bng cách nhp ñúp thì SWI-Prolog s m file này trong mt tin trình khác (ca s khác) và duy trì các KB riêng l trong tng tin trình. - Có các v t trong SWI-Prolog làm các công vic tương ñương vi các lnh trong trình ñơn File. Các bn xem trong tài liu tham kho ca SWI-Prolog ñ bit cn k vì ñây là các v t rt hay dùng và s ñưc dùng trong các Bài hưng dn dưi. + make/0 ñ np li các file ñã np.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 10


Lp trình Logic

+ edit/0, edit/1 ñ sa file ngun. + edit(file(File)) ñ to mi file ngun. + consult/1 hay dng vit gn [File] ñ np mt file ngun.

- Lnh ñơn Edit

→

Copy và Edit

→

Paste dùng ñ copy hay dán ni dung

(bôi xanh) vào hay t Clipboard. Chú ý là phím tt Ctrl + V làm vic tt nhưng Ctrl + C không ñưc dùng cho Copy (Ctrl + C là phím tt ca lnh ñơn Run → Interrupt dùng ñ ngt lnh ñang chy).

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 11


Lp trình Logic

4. Bài hưng dn 4: Run và Debug . Chy chương trình SWI-Prolog t file thc thi plwin.exe (ñ không có

Bưc 1

file ngun nào ñưc np vào KB). Nhp lnh ñơn File

→

New… ñ son mt file

ngun mi. ðt tên file là descendant.pl vi ni dung sau child(martha,charlotte). child(charlotte,caroline). child(caroline,laura). child(laura,rose). descend(X,Y) :- child(X,Y). descend(X,Y) :- child(X,Z), descend(Z,Y).

. Truy vn consult(descendant) ñ np file này vào KB.

Bưc 2

1 ?- consult(descendant). % descendant compiled 0.00 sec, 984 bytes true.

. Truy vn trace ñ theo vt quá trình tìm kim li gii ca câu truy vn

Bưc 3

k. 2 ?- trace. Unknown message: query(yes) [trace] 2 ?-

. Truy vn descend(martha,

Bưc 4

X).

2 ?- trace. Unknown message: query(yes) [trace] 2 ?- descend(martha, X). Call: (7) descend(martha, _G476) ?

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 12


Lp trình Logic

. Nhn Enter  các du nhc tip theo ñ SWI-Prolog tip tc quá trình theo

Bưc 5

vt, cho ñn khi mt li gii ñưc ñưa ra. 2 ?- trace. Unknown message: query(yes) [trace] 2 ?- descend(martha, X). Call: (7) descend(martha, _G476) ? creep Call: (8) child(martha, _G476) ? creep Exit: (8) child(martha, charlotte) ? creep Exit: (7) descend(martha, charlotte) ? creep X = charlotte

. Ti ñây chúng ta nhn Enter ñ kt thúc truy vn hoc nhn ‘ ;’ ñ SWI-

Bưc 6

Prolog tip tc theo vt các li gii khác. Nhn ‘ ;’ và sau ñó là Enter cho ñn khi thy li gii th hai thì nhn Enter ñ kt thúc truy vn. 2 ?- trace. Unknown message: query(yes) [trace] 2 ?- descend(martha, X). Call: (7) descend(martha, _G476) ? creep Call: (8) child(martha, _G476) ? creep Exit: (8) child(martha, charlotte) ? creep Exit: (7) descend(martha, charlotte) ? creep X = charlotte ; Redo: (7) descend(martha, _G476) ? creep Call: (8) child(martha, _L174) ? creep Exit: (8) child(martha, charlotte) ? creep Call: (8) descend(charlotte, _G476) ? creep Call: (9) child(charlotte, _G476) ? creep Exit: (9) child(charlotte, caroline) ? creep Exit: (8) descend(charlotte, caroline) ? creep Exit: (7) descend(martha, caroline) ? creep X = caroline . [debug] 3 ?-

. Kí hiu [debug] trưc du nhc truy vn cho bit SWI-Prolog ñang trong

Bưc 7

ch ñ debug.  ch ñ debug, SWI-Prolog s dng  các spy-point, break-point Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 13


Lp trình Logic

hay trace-point và bơm thông tin vào các cng, giúp ích cho quá trình debug. Chúng ta ñt mt ñim spy bng cách dùng v t spy/1. Truy vn spy(child) ñ ñt ñim spy  v t child. [debug] 3 ?- spy(child). % Spy point on child/2 true.

. Bây gi truy vn descend(X,

caroline) ñ

Bưc 8

thy tác dng ca v t

spy/1. Nhn Enter liên tip ñn khi xong truy vn này.

[debug] 4 ?- descend(X, caroline). Call: (8) child(_G487, caroline) ? creep Exit: (8) child(charlotte, caroline) ? creep Exit: (7) descend(charlotte, caroline) ? creep X = charlotte .

. Như vy ta thy SWI-Prolog dng  các v t child. Vi v t trace/0

Bưc 9

SWI-Prolog theo vt tt c các v t dùng trong quá trình hp nht goal tip sau trace và ch goal này mà thôi. Vi spy/1, chúng ta ñt các ñim spy trên các v t

và SWI-Prolog s luôn dng  các v t này khi ñi sánh mi goal sau ñó. ðương nhiên SWI-Prolog ch dng khi ñang trong ch ñ debug. ð kim tra, ta thoát khi ch ñ debug bng v t nodebug/0. [debug] 5 ?- nodebug. true. 6 ?-

. Truy vn

Bưc 10

descend(X, Y)

ñ thy rng SWI-Prolog không dng 

các ñim spy khi không  ch ñ debug. Nhn ‘;’ ñ xem tt c các hp nht. 6 ?- descend(X, Y). X = martha, Y = charlotte ;

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 14


Lp trình Logic

X = charlotte, Y = caroline ; X = caroline, Y = laura ; X = laura, Y = rose ; X = martha, Y = caroline ; X = martha, Y = laura ; X = martha, Y = rose ; X = charlotte, Y = laura ; X = charlotte, Y = rose ; X = caroline, Y = rose ; false.

. Truy vn

Bưc 11

gtrace

ñ vào ch ñ debug nhưng dùng giao din ñ ha

thay vì các dòng thông tin dng text. Chúng ta cũng có th dùng lnh ñơn Debug →

Graphical debugger vi cùng công dng. 7 ?- gtrace. % The graphical subsequent tracing true.

front-end

will

be

used

for

[debug] 8 ?-

. Bây gi gõ truy vn

Bưc 12

descend(X, Y).

SWI-Prolog s hin công c

thc hin debug trên giao din ñ ha.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 15


Lp trình Logic

. Các bn nên t nghiên cu nhiu v debugger này vì nó là mt công c

Bưc 13

rt mnh và rt có ích. Bây gi chúng ta c vic nhn nút có hình mũi tên xung (Show unification) cho ñn khi thy SWI-Prolog ñưa ra mt li gii. Nhp chut vào ca s chính và nhn ‘ ;’ ñ SWI-Prolog tìm li gii k tip và do ñó nó li triu gi debugger này vi thông tin ñi sánh mi.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 16


Lp trình Logic

. Tip tc nhn nút có hình mũi tên xung ( Show unification) cho ñn khi

Bưc 14

SWI-Prolog ñưa ra li gii th hai. Nhp chut vào ca s chính và nhn Enter ñ kt thúc truy vn. [debug] 8 ?- descend(X, Y). X = martha, Y = charlotte ; X = charlotte, Y = caroline . [debug] 9 ?-

. Chúng ta xóa các ñim spy trên v t child bng nospy(child). Hay

Bưc 15

ñơn gin dùng nospyall/0 ñ xóa tt c các ñim spy. [debug] 9 ?- nospyall.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 17


Lp trình Logic

% Spy point removed from child/2 true.

. Chúng ta thc hin truy vn

Bưc 16

descend(X, Y)

và thy rng không có

thông tin debug nào ñưc in ra cũng như debugger ñ ha không ñưc triu gi na. [debug] 10 ?- descend(X, Y). X = martha, Y = charlotte ; X = charlotte, Y = caroline . [debug] 11 ?-

Bây gi chúng ta s cùng tìm hiu hai lnh có ích khác trong trình ñơn Run là Interrupt và New thread. . Chy chương trình SWI-Prolog t file thc thi plwin.exe (ñ không có

Bưc 1

file ngun nào ñưc np vào KB). Truy vn

edit(file(‘loop.pl’))

ñ to

mi file ngun loop.pl. 1 ?- edit(file('loop.pl')). true.

. Trong Editor, gõ ni dung ca file ngun loop.pl như sau:

Bưc 2

p(X) :- q(X). q(X) :- p(X).

. Truy vn [loop] ñ np file ngun loop.pl vào KB.

Bưc 3

2 ?- [loop]. % loop compiled 0.00 sec, 684 bytes true.

. Truy vn p(X).

Bưc 4

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 18


Lp trình Logic

3 ?- p(X).

. Vì ñnh nghĩa vòng ca v t p/1 nên SWI-Prolog s rơi vào vòng lp

Bưc 5

không kt thúc khi ñi tìm li gii cho truy vn trên. ð ngt quá trình tìm li gii cho truy vn trên, chúng ta chn lnh ñơn Run → Interrupt. 3 ?- p(X). Action (h for help) ?

. Chúng ta có mt s tùy chn lnh khác nhau ñ ngt chương trình. Nhn

Bưc 6

h

ñ thy các tùy chn lnh này. 3 ?- p(X). Action (h for help) ? Options: a: abort b: c: continue e: g: goals t: h (?): help Action (h for help) ?

. Nhp lnh

Bưc 7

t

break exit trace

(trace) ñ theo vt quá trình tìm li gii cho truy vn ca

SWI-Prolog. Action (h for help) ? trace continue (trace mode) Call: (3,265,194) q(_G548) Call: (3,265,195) p(_G548) Call: (3,265,196) q(_G548) Call: (3,265,197) p(_G548) Call: (3,265,198) q(_G548) Call: (3,265,199) p(_G548) Call: (3,265,200) q(_G548) Call: (3,265,201) p(_G548) Call: (3,265,202) q(_G548)

Vũ Quc Hoàng

Tp. HCM, 2/2009

? ? ? ? ? ? ? ? ?

creep creep creep creep creep creep creep creep

Page 19


Lp trình Logic

. Ta thy v t q/1 và p/1 c thay phiên nhau ñưc gi. Ta có nhn Enter

Bưc 8

hoài thì dãy li gi trên cũng không kt thúc. Ta nhp lnh

a

(abort) ñ ngt b

truy vn. Action (h for help) ? trace continue (trace mode) Call: (3,265,194) q(_G548) Call: (3,265,195) p(_G548) Call: (3,265,196) q(_G548) Call: (3,265,197) p(_G548) Call: (3,265,198) q(_G548) Call: (3,265,199) p(_G548) Call: (3,265,200) q(_G548) Call: (3,265,201) p(_G548) Call: (3,265,202) q(_G548) % Execution Aborted 4 ?-

? ? ? ? ? ? ? ? ?

creep creep creep creep creep creep creep creep abort

. Truy vn q(a). Chúng ta bit rng SWI-Prolog tip tc rơi vào vòng lp

Bưc 9

không kt thúc. 4 ?- q(a).

. Nhp lnh ñơn Run

Bưc 10

→

New thread, SWI-Prolog s hin mt ca s

mi (Thread 2) chy cùng vi ca s chính (Thread main).

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 20


Lp trình Logic

. Trong ca s thread mi này thc hin truy vn listing.

Bưc 11

1 ?- listing. %

Foreign: tcp_debug/1

p(A) :q(A). q(A) :p(A). true.

. Ta thy rng KB này ging ht như KB ca thread main. Thc cht,

Bưc 12

trong trưng hp này ch có mt KB. Các thread khác nhau s thc hin các truy vn ñc lp nhưng chia s cùng KB. Như vy trong khi thread main vn ñang còn bn tìm li gii thì chúng ta có th dùng thread 2 cho các công vic khác. ðây là cách dùng có ích ca thread. Lưu ý rng vic dùng nhiu thread khác vi vic chúng ta m nhiu chương trình SWI-Prolog khác nhau (bng file thc thi

plwin.exe hay chy t ñng các file ngun SWI-Prolog) vì khi này các KB là ñc lp cho tng process. Bây gi truy vn halt trong thread 2.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 21


Lp trình Logic

2 ?- halt. ERROR: [Thread 2] halt/1: No permission thread `2' (Only from thread `main') 3 ?-

to

halt

. Chúng ta thy rng mt li thi gian chy ñưc ñưa ra cho truy vn

Bưc 13

halt/0. Li này là do thread 2 không ñ quyn dùng lnh halt/0, ch có thread

main mi ñ quyn. Chúng ta nhp chut vào ca s ca thread main và nhn Ctrl + C (phím tt ca lnh ñơn File

→

Interrupt) ñ ngt chương trình. Nhn tip

lnh e (exit) ñ thoát SWI-Prolog. SWI-Prolog s ñóng c ca s thread main ln thread 2.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 22


Lp trình Logic

5. Bài hưng dn 5: Setting và Customise . Chy chương trình SWI-Prolog t file thc thi plwin.exe. Nhp lnh ñơn

Bưc 1

Settings

→

Font… ñ chn font hin th cho ca s chính ca SWI-Prolog.

. Trong hp thoi chn Font, chúng ta chn font Courier New , style

Bưc 2

Regular, size 12. Font Courier New là font ch có ñ rng c ñnh, rt thích hp cho hin th ni dung trong ca s chính ca SWI-Prolog. Sau khi chn font, SWIProlog ngay lp tc hin th ca s chính theo font ñã chn.

. Nhp lnh ñơn Settings

Bưc 3

→

User init file… ñ to mt file cu hình,

customise các tùy chn SWI-Prolog. Nu bn chưa có file này (mc ñnh là chưa có) thì mt thông báo ñưc ñưa ra

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 23


Lp trình Logic

. Nhn OK ñ to mt file cài ñt như th.

Bưc 4

. Trong ca s editor bn duyt ñn phn nói v DEBUGGING.

Bưc 5

. Theo hưng dn ca phn này, bn kh ghi chú cho dòng lnh

Bưc 6

% :- (current_prolog_flag(gui, true).

true)

->

guitracer

;

Bng cách xóa du %  ñu (% là du bt ñu ghi chú trên mt dòng ca Prolog). Editor s t ñng tô màu li ñ bn bit ñây là mt dòng lnh ch không phi là mt ghi chú na.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 24


Lp trình Logic

. Lưu file (Ctrl + S) và ñóng ca s editor này li.

Bưc 7

. Truy vn

Bưc 8

[descendant]

ñ Consult file ngun descendant.pl  phn

trưc. 1 ?- [descendant]. % descendant compiled 0.00 sec, 1,328 bytes true.

. Truy vn trace ñ vào ch ñ trace.

Bưc 9

2 ?- trace. Unknown message: query(yes) [trace] 2 ?-

. Truy vn descend(X,

Bưc 10

Y).

Chúng ta thy rng SWI-Prolog s dùng

ca s ñ ha ñ chy ch ñ trace thay vì ca s chính ca SWI-Prolog như trưc.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 25


Lp trình Logic

. Truy vn halt ñ ñóng SWI-Prolog.

Bưc 11

3 ?- halt.

. Khi ñng li SWI-Prolog t file thc thi plwin.exe.

Bưc 12

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 26


Lp trình Logic

. T nhng dòng ñu chúng ta thy SWI-Prolog t ñng np file cu hình

Bưc 13

ca chúng ta (file pl.ini) cũng như dùng ca s ñ ha ñ trace. Như vy file cu hình là mt file ngun SWI-Prolog, ñưc SWI-Prolog np ngay sau khi chy (nh tên và v trí lưu tr ñc bit ca nó). Do ñó các khai báo, các lnh, … trong file này s có tác dng ngay sau khi SWI-Prolog chy. Các bn có toàn quyn thêm các khai báo, các lnh, … mi (dĩ nhiên bn phi bit rõ v nó) hay kh ghi chú mt s khai báo có sn trong file mu này.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 27


Lp trình Logic

6. Bài hưng dn 6: S dng mt s v t có ích khác . Chy SWI-Prolog t file thc thi plwin.exe. Các tham chiu file tương

Bưc 1

ñi (trong edit/1, consult/1, …) ñu ly thư mc làm vic ca SWI-Prolog làm gc. Chúng ta dùng truy vn pwd ñ kim tra thư mc này. 1 ?- pwd. c:/program files/swi-prolog/bin true.

Như vy nu chy SWI-Prolog t file thc thi plwin.exe thì thư mc làm vic là

{SWI-Prolog}\bin như trên cho thy. Lưu ý là nu to shortcut cho file plwin.exe và chy t shortcut này (chng hn shortcut trên Desktop) thì thư mc làm vic s khác. . Truy vn ls ñ xem danh sách file trong thư mc làm vic. Lnh này có

Bưc 2

ích cho consult/1, edit/1, … 2 ?- ls. descendant.pl true.

hello.pl

loop.pl

. ðóng SWI-Prolog và nhp ñúp file {SWI-Prolog}\demo\likes.pl ñ chy

Bưc 3

SWI-Prolog và np file ngun này. . Truy vn pwd ñ kim tra thư mc làm vic.

Bưc 4

1 ?- pwd. c:/program files/swi-prolog/demo true.

Chúng ta thy rng thư mc làm vic ñưc ñt thành thư mc cha file ngun ñã khi ñng SWI-Prolog.

Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 28


Lp trình Logic

. Truy vn help/0 ñ hin th hp thoi Help ca SWI-Prolog (ging như

Bưc 5

dùng lnh Help

→

Online manual…). Chúng ta truy vn help(write) ñ hin

th Help v v t write. 2 ?- help(write). true.

SWI-Prolog s hin th hi thoi Help ngay mc ca v t write, như hình dưi.

. Truy vn write(‘Hello

Bưc 6

World’) ñ in chui

Hello World .

3 ?- write('Hello World'). Hello World true.

. Khác vi v t write dùng ñ in ra dng thân thin ca ñi tưng, v t

Bưc 7

display dùng ñ in ra dng biu din bên trong. Truy vn display([1, 2])

ñ thy biu din bên trong ca list [1, 2]. Vũ Quc Hoàng

Tp. HCM, 2/2009

Page 29

Huong Dan SWI-Prolog

Recommend Documents