用情侣和情敌的例子向大家介绍 Prolog 语言

acme_pjz

泡饭你是不是想把你的AI象棋升级成Prolog版？

Igawk

Prolog版 99瓶啤酒
例一

1. 
   
2. /*******************************************************
   
3. * 99 Bottles of Beer
   
4. * Paul J. DeMarco  9/20/2002
   
5. * beer.pro
   
6. * To execute start gprolog (others may work)
   
7. * consult('beer.pro').
   
8. * drink(beer,99).
   
9. *******************************************************/
   
10. english(beer,0):-
    
11.                         write('no more bottle of beer').
    
12. english(beer,1):-
    
13.                         write('1 bottle of beer').
    
14. english(beer,X):-
    
15.                         X >= 2,
    
16.                         write( X ) ,
    
17.                         write(' bottles of beer').
    
18. 
    
19. drink(beer,X):- X >= 1,
    
20.                         english(beer,X),
    
21.                         write(' on the wall, '),
    
22.                         english(beer,X),
    
23.                         write(', take one down, pass it around\n'),
    
24.                         X1 is X - 1,
    
25.                         english(beer,X1),
    
26.                         write(' on the wall.\n'),
    
27.                         drink(beer, X1).

复制代码

例二

1. 
   
2. % 99 bottles of beer song implemented in Prolog
   
3. % Released into the public domain in 2006 by Brent Spillner
   
4. 
   
5. wall_capacity(99).
   
6. 
   
7. wait(_) :- true.
   
8. 
   
9. report_bottles(0) :- write('no more bottles of beer'), !.
   
10. report_bottles(X) :- write(X), write(' bottle'),
    
11.                      (X = 1 -> true ; write('s')),
    
12.                      write(' of beer').
    
13. 
    
14. report_wall(0, FirstLine) :-
    
15.                   (FirstLine = true -> write('No ') ; write('no ')),
    
16.                   report_bottles('more'), write(' on the wall'), !.
    
17. report_wall(X, _) :- report_bottles(X), write(' on the wall').
    
18. 
    
19. sing_verse(0) :- !, report_wall('No more', true), write(', '),
    
20.                  report_bottles('no more'), write('.'),
    
21.                  nl, write('Go to the store and buy some more, '),
    
22.                  wall_capacity(NewBottles), report_wall(NewBottles, false),
    
23.                  write('.'), nl.
    
24. 
    
25. sing_verse(X) :- report_wall(X, true), write(', '),
    
26.                  report_bottles(X), write('.'), nl,
    
27.                  write('Take one down and pass it around, '),
    
28.                  Y is X - 1, report_wall(Y, false), write('.'), nl, nl,
    
29.                  wait(5), sing_verse(Y).
    
30. 
    
31. :- wall_capacity(Bottles), sing_verse(Bottles).

复制代码