SWI-Prolog中的专家系统

我尝试在SWI Prolog中实现简单的专家系统。该系统从键盘读取输入数据并查找语言。这是我的密码：

/* Paradigms */
paradigm('Ada', 'Imperative').
paradigm('C', 'Imperative').

/* Typization */
typization('Ada', 'Statical').
typization('C', 'Explicit').

/* Compiler */
compiler('Ada', 'OpenSource').
compiler('C', 'DebugPosibility').

/* Memory */
memory('Ada', 'Stack').
memory('C', 'Pointer').

language(L, P, T, C, M) :- paradigm(L, P), typization(L, T), compiler(L, C), memory(L, M).

run :- write('\nChoose language paradigm:\n1. imperative\n2. object-oriented\n3. distributed\n4. reflexive\n5. declarative\n6. functional\n7. general programming\n'), read(P),
       write('\n\nChoose typization:\n1. statical\n2. explicit\n3. polymorfism\n4. runtime type information\n5. dynamical\n6. implicit\n7. cast without data lose\n8. implicit cast without data lose\n9. argument output at method call\n'), read(T),
       write('\n\nChoose compiler type:\n1. open-source\n2. debug posibility\n3. bootstrapping\n4. multithreading compilation\n5. conditional compilation\n6. command line interpreter\n'), read(C),
       write('\n\nChoose memory management type:\n1. stack\n2. pointer\n3. manual memory management\n4. garbage collector\n'), read(M),

       language(L, P, T, C, M),
       write(L).

当我运行这个程序时，我一直收到所有语言。但在我的测试用例中，它应该只得到一种语言。当语言中的四个谓词对于同一语言L都返回true时，语言是可以接受的。我的错误在哪里？我该如何纠正它

---

多谢各位

错误出现在输入捕获的某个地方（特别是，要求用户输入与程序实际期望不符的字符串；请注意）。如果使用atoms并删除单个引号，则包含两个测试用例的程序将读取：

paradigm(ada, imperative).
paradigm(c, imperative).

typization(ada, statical).
typization(c, explicit).

compiler(ada, openSource).
compiler(c, debugPosibility).

memory(ada, stack).
memory(c, pointer).

language(L, P, T, C, M) :- paradigm(L, P), typization(L, T), compiler(L, C), memory(L, M).

test1(L) :- language(L, imperative, statical, openSource, stack).
test2(L,P) :- language(L, P, statical, openSource, stack).

运行

test1（L）

仅产生

L=ada

，运行

test2（L，p）

仅产生

L=ada，p=privative

所需