crete:Scala中的符号一阶逻辑编程DSL

克里特岛 Crete是Scala编程语言中用于逻辑推理的DSL。 使用克里特岛，您可以自然地编写一阶逻辑语句，就像手工编写它们一样。 特征 句子变得自然 以最直观的方式以一阶逻辑写句子： ∀( 'p )( 'smokes ( 'p ) & ! 'drinks ( 'p ) → 'cancer ( 'p )) 推论变得容易 创建可以执行各种查询的知识库： val kb = Set [ Sentence ]( ∀( 'p )( 'smokes ( 'p ) implies 'cancer ( 'p )), ∀( 'p )( 'cancer ( 'x ) implies 'dies ( 'p )), 'smokes ( " john " ), 'smokes ( " mary " ) ) val query1 = kb entails 'dies ( " john " )