Anahtarı ifadeleri Prolog yüklemler ise

Question

, sık sık bu gibi tekrarlayan koşullu ifadeler yazmak, ama onlar daha özlü yazılabilir isterdim:

output(Lang, Type, Output) :- 
    (Lang = javascript -> 
     Output = ["function", Type]; 
    Lang = ruby -> 
     Output = ["def", Type]; 
    Lang = java -> 
     Output = [Type]). 

onunla koşullu tabloların bu diziyi değiştirmek mümkün olabilir mi daha özlü bir anahtar beyanı?

Answer 1

. Birçok Prolog tarafından desteklenen

Örneğin, bir anahtar

switch(X, [Val:Goal|Cases]) :- 
    (X=Val -> 
     call(Goal) 
    ; 
     switch(X, Cases) 
    ). 

, bu daha sonra derleme zamanı dönüşümü ile daha verimli hale getirilebilir Gerekirse tanımlayarak

switch(X, [ 
    a : writeln(case1), 
    b : writeln(case2), 
    c : writeln(case3) 
]) 

gibi inşa uygulamak sistemleri (ECLiPSe'de inline/2 veya diğer bazı sistemlerde hedef genişletme).

Ve operatör bildirimleri aracılığıyla sözdizimini istediğiniz hoşunuza ayarlayabilirsiniz.

Answer 2

biraz daha kısa:

output(Lang, Type, Output) :- 
    (Lang, Output) = (javascript, ["function", Type]) ; 
    (Lang, Output) = (ruby, ["def", Type]) ; 
    (Lang, Output) = (java, [Type]). 

deyimsel: Birden hükümler bu kullanım şeklini yapılmış ve ayrıca oldukça özlü gibi görünüyor

output(Lang, Type, Output) :- 
    memberchk(Lang-Output, [ 
    javascript - ["function", Type], 
    ruby - ["def", Type], 
    java - [Type] 
    ]). 

Answer 3

.

o meta-yüklemler'ıN (argümanlar olarak hedef veya yüklemler'ıN almak yüklemler) kullanarak kendi kontrol yapılarını tanımlamak oldukça kolaydır Prolog'da

output(javascript, Type, ["javascript", Type]). 
output(ruby, Type, ["def", Type]). 
output(java, Type, [Type]).