我对Prolog和逻辑范式发展说了新话,但我认为这可以帮助我提出申请。 我的第一个怀疑是我能用这些语言做些什么。
我会做一些文本处理/自然语言处理,我认为,我的法典将以比 Java(即我所使用和将与Prolog合在一起)的逻辑语言更加清楚和容易地这样做。
现在,我的第一个目标是发现一种强硬的果园类型(脑、数字、数字等)。 我有四点初步论点:独创论、异构论、原封不动、 has。
有了Prolog,我可以采用一种方法determineType()
,使我回到这四种特性基础上的类型,或者只得到一次测试,如isDigit(
,isAlphabetic(
)等?