文件名称：crete:Scala中的符号一阶逻辑编程DSL
文件大小：5KB
文件格式：ZIP
更新时间：2024-06-13 02:35:26
Scala
克里特岛 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 " )
【文件预览】：
crete-master
----src()
--------main()
--------test()
----README.md(1KB)
----build.sbt(69B)