Trng i hc cng nghip h niKhoa cng ngh thng tin n chuyn ngnh 1 ti: Kt ni Prolog vi C#Ging vin HD: Trn Hng CngNhm SV thc hin: V nh LngNguyn Hng Nam

Ni dung chnhGii thiu v ngn ng lp trnh PrologCc phn mm vit code cho chng trnhCch thc kt ni Prolog vi C#

Gii thiu v PrologProlog = Programming in Logic1972: xut bi Alain Colmerauer ti i hc Marseille1980: Chn lm ngn ng pht trin trong cc lnh vc:Tr tu nhn toX l ngn ng t nhin

CC YU T C BN CA PROLOG- Cc i tng (object) : Gm cc bin v hng. Cc bin phi c mu t u vit hoa.- Quan h gia cc i tng: Th hin di hnh thc v t (predicates).- Cc s kin ( facts ): S kin l v t c cng nhn ng. - Cc lut ( rules ):Lut l mnh ko theo c cng nhn ng.

Cc phn mm vit code cho chng trnh PrologC 3 phn mm c bn vit chng trnh cho Prolog nh l:Turbo PrologSWI- PrologThe SWI tn c ngun gc t Sociaal-Wetenschappelijke Informatica ( "Khoa hc x hi Tin hc") tn c ca nhm ti i hc Amsterdam. Visual Prolog

Cch thc kt ni Prolog vi C#Ngn ng Prolog c th kt ni vi rt nhiu cc ngn ng lp trnh khc nh:Java,C,C++,C#...Trong chng trnh chng em s trnh by v cch kt ni SWI- Prolog v Visual Prolog vi C#.

Cch kt ni SWI- Prolog vi C#Nguyn tc kt ni:Bn cn phi ci chng trnh SWI-Prolog trc.SWI-Prolog c np vo C# nh vo hai th vin SWIPLCS.dll v NUnit.framework.dll.Hai th vin ny cung cp cc lnh chuyn C# thnh Prolog.

Cch kt ni SWI- Prolog vi C#5 bc thc hin:Bc 1: Np hai th vin SWIPLCS.dll v NUnit.framework.dll vo trong C#.Bc 2: To ng dn trong Program.cs ca C#.Bc 3 : To mt Class c tn l ConnectProlog.cs trong C#.Bc 4: Thit k giao din trong C#Bc 5: To ng dn n SWI Prolog.

Cch kt ni SWI- Prolog vi C#Bc 1: Np hai th vin

Cch kt ni SWI- Prolog vi C#Cc bc tip theo l bc 2,3,4 chng em s trnh by bng v d.Cn bc 5 ta s thc hin nh sau:Trc khi mun chy c chng trnh trong C# va ri ta cn phi ci t phn mm SWI - PROLOG v to ng dn n C:\Program Files\pl\bin.Thay i ng dn thnh nh sau:C:\Program Files;C:\Winnt;C:\Winnt\System32;C:\Program Files\pl\bin

Cch kt ni SWI- Prolog vi C#Bc 5: kt ni vi SWI- Prolog

Giao din ca chng trnh

Cch kt ni Visual Prolog vi C#Nguyn tc kt ni:Bn cn phi ci chng trnh Visual PrologTo ra Files .dll trong Visual prolog ri chng ta s nhng sang C#. y ta ly hai v d dng C# gi predicates tnh giai tha v tnh s Fibonacci ca Visual prolog.

Giao din trong Visual Prolog

Giao din trong Visual PrologKhi bn kch vo nt ok th s xut hin 1 ca s:

Giao din trong Visual PrologTa cn ch n hai Files l export.cl v export.pro.Trong Files export.cl ta s vit ng dn ti C#

Giao din trong Visual PrologTrong Files export.pro ta s vit chng trnh tnh giai tha

Giao din chng trnh tnh giai tha ca mt s nguyn

Giao din chng trnh tnh s Fibonacci

Xin chn thnh cm n!