• neohope
    2018-06-19
    看《七周七语言》的时候,初步学习过Prolog,有个不错的入门英文教程:http://www.amzi.com/,上面的例子还蛮有意思的。说实话Prolog对我来说,不像是在编程,而更像是在做线性规划:根据限制和初始条件,找到解。十分感兴趣这个推导过程Prolog是如何实现的。耗哥这方面有推荐的读物吗?感谢:)

    个人感觉,在这个推导过程中,其实比起些现在这些通过统计学、神经网络及大数据喂出来的怪兽,比如NLP、google翻译、人工智能什么的,感觉这个逻辑简单,更适合入门一些。
    
     8
  • minghu6
    2018-03-12
    prolog确实在解决一些需要频繁回溯的问题上相当好用,是真正的描述规则,然后自动求解的人性化语言。
    
     5
  • edisonhuang
    2019-06-27
    逻辑编程很类似推理中的三段论,首先给出大前提,然后给出小前提,最后推导结论。
    大前提哲学家都是人,小前提苏格拉底是哲学家,结论就是苏格拉底也是人
    基于逻辑的编程让我们关注真正的事,忽略控制
    
    
  • 靠人品去赢
    2019-06-24
    你好,看完觉得Prolog这类语言,我只管业务,不管实现的。入门可能会简单,隐藏了许多技术细节,但实际上效率会不高,如果没有对应的活跃社区提供相关库的话。就害怕像“人人都是产品经理”,那样,弄了很多不知道技术边界的人导致各种各样的问题。
    
    
我们在线,来聊聊吧