實驗報告實驗目的1．熟悉專家系統開發工具----VisualProlog，學習該工具的基本語法規則、使用技巧、程序構成；2．學習示例程序，嘗試編寫小型完整VisualProlog應用程序。實驗設備計算機、VisualProlog軟件開發平臺。實驗內容1．熟悉VisualProlog軟件開發平臺，包括進入Prolog主程序、編輯源程序、修改環境目錄、退出等基本操作。2．學習VisualProlog的簡單程序結構，掌握分析問題、詢問解釋技巧。3．了解Prolog語言中常量、變量的表示方法。4．利用Prolog進行事實庫、規則庫的編寫，并在此基礎上進行簡單的詢問。5．依次編輯并執行所給程序，運行Example1、Example2、Example3，分析程序功能并寫出使用結果。6．完成簡單程序的編寫：求N！的值。實驗準備（預習程序）Example1：domainsperson,activity=symbolpredicateslikes(person,activity)clauseslikes(ellen,tennis).likes(john,football).likes(tom,baseball).likes(eric,swimming).likes(mark,tennis).likes(bill,X):-likes(tom,X).goallikes(bill,X).Example2：domainsnamelist=name*name=symbolpredicatesmember(name,namelist).clausesmember(Name,[Name|[]).member(Name,[_|Tail]):-member(Name,Tail).goalmember(john,[leonard,john,eric,frank]).Example3：domainsname=symbolpredicatesfather(name,name)everybodyclausesfather(leonard,katherine).father(carl,jason).father(carl,marilyn).everybody:-father(X,Y),write(X,"is",Y,"'sfather\n"),fail.goaleverybody.求N！值的：PREDICATESfactorial(unsigned,real)CLAUSESfactorial(1,1):-!.factorial(X,FactX):-Y=X-1,factorial(Y,FactY),FactX=X*FactY.GOALX=6,factorial(X,FactX).實驗記錄Example1：設定目標為：likes(bill,X).結果為：X=baseball1SolutionExample2：設定目標為：member(john,[leonard,john,eric,frank]).結果為：YesExample3：設定目標為：everybody.結果為：leonardiskatherine'sfathercarlisjason'sfathercarlismarilyn'sfatherNo求N！值的：設定目標為：X=6,factorial(X,FactX).結果為：X=6,FactX=7201Solution實驗結論（結果）求N！值的：該程序通過遞歸算法有效的解決了求N！值的問題。并熟悉了VisualProlog軟件開發平臺。實驗心得與小結通過這次實驗我更加熟悉了Prolog語言和該軟件開發平臺。對Prolog語言的基本語法規則和使用技巧有了更好的掌握。在使用VisualProlog軟件開發平臺的過程中，我從對軟件的不熟悉，經常出錯，到會編寫一些小型完整的