SWI-序言用户登录和注册

Question

我有用户输入/登录如下：

login:- write('username: '), read(User), nl, write('password: '), read(Pass). 

和我有用户名和密码的数据库。我用找到谓词来获取所有行作为一个列表类似代码所示：

find(R):-findall(Row, rs('SELECT name FROM patient where name=\'James\'', Row), R). 

?- find(R). 
R = [row('James'), row('James'), row('James'), row('James')]. 

有没有使用来自读取用户输入（），并检查该用户在数据库的方法吗？

我试过会员（用户，R）但它工作不正常。

我知道prolog不是这类东西（登录/注册）的最佳语言。我之所以这样做，是因为我正在使用swi-prolog中的helath护理专家系统，我需要登录和注册病人。

有没有一个为什么这可以做到？我对prolog很陌生，所以我会陷入很多愚蠢的事情中。

谢谢！

............. @gusbro我试着用成员（行（用户），你告诉我：

check:-findall(Row, rs('SELECT name FROM patient where name=\'James\'', Row), R), 
read(User), member(row(User), R); 
write('wrong username!'). 

但我总是得到相同的，无论我写的东西：

?- check. 
|: Bla. 
true ; 
wrong username! 
true. 

?- check. 
|: James. 
true ; 
wrong username! 
true. 

Answer 1

什么你试过没有工作，因为你正在试图统一表格行（凌动）以原子为

。

它应该工作正常，如果你做member(row(User), R)。

但是请注意，在你的例子会成功一次，因为你重复“行”更多...

你可能要考虑使用setof/3代替findall/3，因为它会消除所产生的重复列表（如果没有setof模板的匹配，将会失败的副作用）