瞭解如何在Prolog中使用arg/3和univ/2

Question

我在Prolog中擁有此數據庫，並且我試圖返回Henry擁有的以及誰擁有一輛汽車和一輛卡車。我嘗試了所有我能想到的方式來歸還亨利擁有的東西，並找不到解決方案。我知道如何歸還誰擁有一輛汽車或一輛卡車 - 擁有（X，汽車（,，_）），但不是在同一時間。任何幫助將不勝感激。

owns(bill, car(ford, mustang, 1964)). 
owns(sue, car(pontiac, gto, 1967)). 
owns(george, car(honda, civic, 2013)). 
owns(betty, truck(ford, f150, 2013)). 
owns(henry, motorcycle(honda, goldwing, 2010)). 

Answer 1

prolog有一個關係數據模型，但允許遞歸術語而不是像atom這樣的atomics，並且不給'columns'命名。鬆散：

 
╒═════════════╤═════════════╕ 
│ SQL   │ Prolog  │ 
╞═════════════╪═════════════╡ 
│ table  │ predicate │ 
│ record  │ clause  │ 
│ table name │ functor  │ 
│ column  │ argument │ 
╘═════════════╧═════════════╛ 

因此，需要關於屬性位置的知識。通常情況下，我們可以關聯函數中的屬性'名稱：

% get an owner of any kind listed 
kinds_owner(Kinds, Owner) :- 
    owns(Owner, Object), Object =.. [Kind|_], member(Kind, Kinds). 

% get owners of any kind listed 
kinds_owners(Kinds, Owners) :- 
    setof(Owner, kinds_owner(Kinds, Owner), Owners). 

?- kinds_owner([truck,motorcycle],X). 
X = betty ; 
X = henry. 

?- kinds_owners([truck,motorcycle],Xs). 
Xs = [betty, henry].