问题列表 - 第17158页

用于Java的嵌入式Prolog解释器/编译器

我正在开发一个Java应用程序,它需要做一些复杂的逻辑规则推导作为其功能的一部分.我想在Prolog或其他逻辑/约束编程语言而不是Java中编写我的逻辑演绎编码,因为我相信生成的代码将更加简单和易于维护.

我在Prolog上搜索了嵌入式Java实现,并发现了它们的数量,每个都只有很少的文档.我的(适度)选择标准是:

  • 应该可以嵌入Java(例如,可以与我的java包捆绑在一起,而不需要在外部程序上进行任何本机安装)
  • 从Java使用的简单接口(用于启动扣减,检查结果和添加规则)
  • 至少有一些关于如何使用它的例子
  • 不一定必须是Prolog,但具有上述标准的其他逻辑/约束编程语言也适合我的需要.

我有什么选择,它们的优点和缺点是什么?

java prolog logic-programming embedded-language constraint-programming

43
推荐指数
4
解决办法
1万
查看次数

.Net日期格式

我犯了一个愚蠢的错误......

我在XP中设置区域设置之前安装了.Net,现在DateTime.Now将日期设置为12/01/2009而不是01/12/2009.

我确信有一种简单的方法可以为.Net运行时配置更改它,但我不记得它是什么.

救命?

.net format configuration date

0
推荐指数
1
解决办法
129
查看次数

提取位

在C中,我有一个32位字表示一个地址(我把它存储在一个无符号长,希望没问题).现在从我收集的内容来看,地址的一部分包含页码,另一部分包含偏移量.我想知道如何只提取给我页码的位.我已经计算出前22个最重要的位是页码,其他10位是页面偏移.我怎样才能抓住页码的位?我想我可以通过一些按位操作来做到这一点,但我不确定如何.

c bit-manipulation memory-address

5
推荐指数
1
解决办法
4727
查看次数

请在Scheme中重构我的宏

我正在学习卫生,我试图在Scheme中进行简单的for循环.我想支持三种结构,如下例所示

(for i = 1 : (< i 4) : (++ i)
  (printf "Multiplication Table for ~s\n" i)
  (for j = 1 to 5
    (printf "~s * ~s = ~s\n" i j (* i j))))
Run Code Online (Sandbox Code Playgroud)

我想也支持带有这样的过滤器的循环:

(for k = 1 : 10 : (list even? (?(x) (> x 4))) : (++ k)
  (print k))
Run Code Online (Sandbox Code Playgroud)

我有这个,但我可以看到很多重复.请帮我删除冗余.

(define-syntax for
  (syntax-rules (= to :)
    [(for x = initial : final : conditions : increment body ...)
     (letrec ([loop (?(x)
                      (when (<= x final) …
Run Code Online (Sandbox Code Playgroud)

macros scheme for-loop functional-programming syntax-rules

3
推荐指数
1
解决办法
349
查看次数

Windows工作流程:Dev使用visual express版本

是否可以使用Visual Studio Express版本在Windows Workflow项目上工作?如果没有,有什么工作吗?

windows workflow

3
推荐指数
1
解决办法
4005
查看次数

Qt,如何设置文本编辑滚动条到底部?C++

我有文本编辑框作为聊天窗口,但我想知道是否有办法将滚动条设置在底部以显示最新消息.

我目前正在使用Qt3和C++.

chat_box - > ....我试过看,只能找到"ScrollBarMode",但它只允许我打开或关闭它或自动...这实际上没有帮助.

谢谢你的帮助:D

c++ qt qt3

2
推荐指数
1
解决办法
8244
查看次数

将`object .__ doc__`作为原始字符串

有没有办法获得object.__doc__原始字符串,除了在源代码中添加doctring本身前面的'r'?

我在里面有乳胶代码而'\ r','\ f'等正在产生问题.

python pydoc

0
推荐指数
1
解决办法
237
查看次数

透明的SQLite数据压缩

我正在寻找使用自定义VFS实现自定义IO方法实现的透明SQLite 3 zlib压缩的现有解决方案.

是否有人知道现有的项目已经这样做了,还是我必须自己动手?我依稀记得在一年前看到类似的东西,但再也找不到了.

c compression sqlite zlib

8
推荐指数
2
解决办法
8145
查看次数

如何在Objective-C中读取键盘输入

嗨我正在制作一个从键盘输入的程序,我想知道是否有任何方法可以从键盘获取输入并将其存储在NSString对象中.

objective-c textinput

2
推荐指数
1
解决办法
6110
查看次数

构建游戏需要一种具有强大支持的一流功能的语言

我正在建立一个教育游戏,通过它的模块化,允许教学生如何编程.它本质上是一种可以轻松修改的通用纸牌游戏.

游戏的主干应该是完全不可编辑的(至少在理论上),所以我需要建立一个"卡"类型,允许匿名功能,因为它的行动(更糟糕,或者甚至更有趣,它需要一个匿名函数,可以有任意数量的参数).

我还需要一个强大的GUI库,它需要是可移植的,如果可能的话,它应该是一个Web语言.它应该对模块化有广泛的支持,面向对象,并且希望足够清楚,以至于它不需要有经验的程序员来理解语法.这是很多要求,但我应该详细说明,我想要一个具体的答案以及为什么它是一个好的选择,所以我应该尽可能多地提供信息.我并不真正需要语言的效率,因此在这种情况下不需要低级语言,非常高级的语言将足够快.

Python不够强大.Ruby可能是但我对它的功能还不够熟悉.Haskell和Scheme拥有最强大的支持,但不是网络语言,据我所知,大多数情况下都没有GUI库.C#可能是合理的,我对它的功能并不十分熟悉,但我特别担心可移植性.如果可能的话我想避免使用javascript,但如果这真的是最好的选择,我可能不得不朝那个方向前进.

language-agnostic

5
推荐指数
1
解决办法
262
查看次数