菜單序言中的循環編號

Question

我是Prolog的新手，我在菜單中遇到循環編號問題。

這裏是編碼：

la3:-nl, 
    write('-------MENU-------'),nl, 
    write('1. Biodata'),nl, 
    write('2. Looping Number'),nl, 
    write('3. Exit'),nl, 
    write('Choose : '),read(Z), 
    (
    Z=1,nl, 
    write('BIODATA'),nl, 
    write('Input your name : '),read(J),nl, 
    write('Input your Identity number : '),read(K),nl, 
    write('Input your class : '),read(L),nl, 
    write('---------------------'),nl, 
    write('Name : '),write(J),nl, 
    write('Identity number : '),write(K),nl, 
    write('Class : '),write(L),nl, 
    la3; 

    Z=2,nl, 
    write('LOOPING NUMBER'),nl, 
    loop(0), 
    loop(N):-N>0,write('Value : '),write(N),nl, 
    M is N-1,loop(M), 
    la3; 



    Z=3,nl, 
    write('EXIT'),nl 
    ). 

我不知道該怎麼做循環和上面的代碼不起作用。

Answer 1

Prolog與其他語言有一些共同之處在於最好是模塊化思考。它看起來像你試圖捕獲一個謂詞子句中的所有功能，這是一個尷尬和糟糕的結構。

首先通過獲取頂級菜單工作。這基於Prolog中常見的簡單循環模式：repeat, ..., fail。

main :- 
    repeat, 
    write('-------MENU-------'), nl, 
    write('1. Biodata'), nl, 
    write('2. Looping Number'), nl, 
    write('3. Exit'), nl, 
    write('Choose : '), 
    read(Z), 
    (Z = 3 -> !, fail ; true), % fail without backtrack if Z = 3 
    action_for(Z), 
    fail. 

然後你可以在action_for/1上工作。這裏有一個存根action_for/1：

action_for(X) :- 
    write('Action for '), 
    write(X), nl. 

當你執行它，你就會得到這樣的：

| ?- main. 
-------MENU------- 
1. Biodata 
2. Looping Number 
3. Exit 
Choose : 1. 
Action for 1 
-------MENU------- 
1. Biodata 
2. Looping Number 
3. Exit 
Choose : 2. 
Action for 2 
-------MENU------- 
1. Biodata 
2. Looping Number 
3. Exit 
Choose : 3. 

no 
| ?- 

所以基本的循環和菜單行爲是否到位。

我將留下適當的實施action_for/1作爲練習。