資源簡介

實(shí)驗(yàn)一 PROLOG編程練習(xí)
一、目的要求
進(jìn)入實(shí)驗(yàn)機(jī)房，加深學(xué)生理解－邏輯程序運(yùn)行的機(jī)理，如簡單邏輯與、或、非的運(yùn)算等；使學(xué)生掌握PROLOG語言(也可用數(shù)據(jù)庫、C或C++語言中邏輯類指令來實(shí)現(xiàn)的語言)的特點(diǎn)、熟悉其編程環(huán)境，同時為后面人工智能程序設(shè)計做好準(zhǔn)備。21cnjy.com
二、實(shí)驗(yàn)環(huán)境
Windows XP ，Turbo PROLOG 或 Visual Prolog 集成環(huán)境
三、實(shí)驗(yàn)內(nèi)容
在Turbo PROLOG 或 Visual Prolog 集成環(huán)境下調(diào)試運(yùn)行簡單的PROLOG程序，如描述親屬關(guān)系的PROLOG程序，或其它語言小型演繹數(shù)據(jù)庫程序，等等。具體要求：
1.程序自選，但必須是描述某邏輯關(guān)系的小程序(也可用數(shù)據(jù)庫指令或C或C++語言實(shí)現(xiàn))。
2.跟綜程序運(yùn)行過程，理解邏輯程序特點(diǎn)(特別是邏輯值狀態(tài)等)。
3.對原程序可做適當(dāng)修改，以方便熟悉程序的編輯、編譯和調(diào)試等過程。
4.示例程序(邏輯電路模擬程序)，詳見教材P295-296。
⑴邏輯“與”運(yùn)算
⑵邏輯“或”運(yùn)算
⑶邏輯“非”運(yùn)算
⑷邏輯“異或”運(yùn)算*
⑸邏輯“同或”運(yùn)算*
⑹其它較復(fù)雜邏輯運(yùn)算，如“與或非”、“ 或非與”等運(yùn)算*
四、實(shí)驗(yàn)步驟
1、啟動Windows XP操作環(huán)境。
2、打開文件目錄，執(zhí)行prolog應(yīng)用程序，啟動Turbo prolog，并按空格鍵(SPACE)進(jìn)入集成開發(fā)環(huán)境。21世紀(jì)教育網(wǎng)版權(quán)所有
3、選擇Setup項(xiàng)，打開下拉菜單，選擇Directories項(xiàng)，進(jìn)行工作目錄修改，按Esc鍵退出，選擇Save Configuration項(xiàng)，保存修改。21·cn·jy·com
4、選擇Files項(xiàng)，打開下拉菜單，選擇New file項(xiàng)，進(jìn)入源程序輸入和編輯，或選擇Load項(xiàng)，選擇要打開的示例程序，再選擇Edit項(xiàng)，可以進(jìn)行編輯源程序。
5、編輯之后，可以選擇Run項(xiàng)，執(zhí)行程序，可以在Dialog窗口進(jìn)行詢問，即外部目標(biāo)的執(zhí)行，查看程序運(yùn)行結(jié)果，分析程序之功能。www.21-cn-jy.com
6、仿前例，可以選擇其他程序并運(yùn)行，分析程序功能。
7、退出，選擇Quit項(xiàng)，可以退出Turbo Prolog程序，返回到Windows XP環(huán)境。
五、實(shí)驗(yàn)源碼
Example 1：
domains
person, activity = symbol
predicates
likes(person,activity)
clauses
likes(ellen,tennis).
likes(john,football).
likes(tom,baseball).
likes(eric,swimming).
likes(mark,tennis).
likes(bill,X) if likes(tom,X).
Example 2：
domains
d=integer
predicates
not_(D,D)
and_(D,D,D)
or_(D,D,D)
xor_(D,D,D)
clauses
not_(1,0)
not_(0,1)
and_(0,0,0)
and_(0,1,0)
and_(1,0,0)
and_(1,1,1)
or_(0,0,0)
or_(0,1,1)
or_(1,0,1)
or_(1,1,1)
xor(Input1, Input1, Output):-
not_(Input1,N1),
not_(Input2,N2),
and_(Input1,N2,N3),
and_(Input2,N1,N4),
or_(N3,N4,Output).
五、實(shí)驗(yàn)心得
通過實(shí)驗(yàn)，我了解了邏輯程序運(yùn)行的機(jī)理，如簡單邏輯與、或、非的運(yùn)算等，也掌握了PROLOG語言(也可用數(shù)據(jù)庫、C或C++語言中邏輯類指令來實(shí)現(xiàn)的語言)的特點(diǎn)、熟悉其編程環(huán)境。雖然在實(shí)驗(yàn)過程中有些不理解的地方，但是在老師同學(xué)的幫助下終于完成了實(shí)驗(yàn)，并深刻理解并掌握了相關(guān)的知識。21教育網(wǎng)

展開更多......

收起↑