问题列表 - 第19509页

在prolog中定义is_a谓词?

我正在尝试is_a/2在Prolog中定义继承检查谓词,但到目前为止我的所有试验都失败了.

is_a(X, Y)每当Y是X例如的超谓语应返回true:

object(bare).
object(mammal).
object(animal).
object(bird).
is_a(bare, mammal).
is_a(mammal, animal).
is_a(bird, animal).
is_a(X, Y):- <definition goes here>.
Run Code Online (Sandbox Code Playgroud)

定义应该使得以下查询将返回true:

?- is_a(bare, animal).
true.
Run Code Online (Sandbox Code Playgroud)

我尝试以明显的方式定义它,但我陷入无限循环:

is_a(X, Y):- X\==Y, object(X), object(Y), object(Z), is_a(X, Z), is_a(Z, Y).
Run Code Online (Sandbox Code Playgroud)

有什么建议?

inheritance predicate prolog

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

如何计算将一个排序顺序转换为另一个排序顺序的绝对最小变化量?

目标

如何编码描述如何使用可能的最小字节数将静态列表从一个订单重新排序到另一个订单的数据?

原始动机

最初,在使用昂贵的卫星通信来处理传感器数据的问题时,出现了这个问题.一台设备列出了他们正在监控的大约1,000个传感器.传感器列表无法更改.每个传感器都有一个唯一的ID.所有数据都在内部记录以进行最终分析,最终用户每天唯一需要的是哪个传感器以哪种顺序触发.

整个项目都被废弃,但这个问题似乎太有趣了,不容忽视.此前我还谈到了"交换",因为我正在考虑排序算法,但实际上它是整体​​顺序很重要,达到该顺序所需的步骤可能无关紧要.

如何订购数据

在SQL术语中,你可以这样想.

**Initial Load**

create table sensor ( id int, last_detected datetime, other stuff )
-- fill table with ids of all sensors for this location

Day 0: Select ID from Sensor order by id
  (initially data is sorted by the sensor.id because its a known value)

Day 1: Select ID from Sensor order by last_detected
Day 2: Select ID from Sensor order by last_detected
Day 3: Select ID from Sensor order by last_detected
Run Code Online (Sandbox Code Playgroud)

假设 …

sorting algorithm optimization computer-science

8
推荐指数
1
解决办法
260
查看次数

选项,设置,属性,配置,首选项 - 何时以及为何?

有几个词有类似的(在某种意义上)含义:

选项,设置,属性,配置,首选项

英语不是我的母语.你能用简单的英语解释一下这个区别吗?我认为以下模板可能有用:

  • 在GUI中使用XXX以便让人们更改应用程序的行为(可能是首选项或设置?)
  • 在GUI中使用YYY以便让人们更改对象的部分(可能是属性或选项?)
  • 在你的代码中使用ZZZ ......

什么是最佳做法?

settings configuration properties options

120
推荐指数
8
解决办法
3万
查看次数

如何在C#中模拟匿名类

我正在用C#编写一个小型数据结构库,我遇到了一个架构问题.基本上我有一个实现访问者模式的类,并且有许多可能的访问者实现:

public interface ITreeVisitor<T, U>
{
    U Visit(Nil<T> s);
    U Visit(Node<T> s);
}

public abstract class Tree<T> : IEnumerable<T>
{
    public readonly static Tree<T> empty = new Nil<T>();
    public abstract U Accept<U>(ITreeVisitor<T, U> visitor);
}

public sealed class Nil<T> : Tree<T>
{
    public override U Accept<U>(ITreeVisitor<T, U> visitor) { return visitor.Visit(this); }
}

public sealed class Node<T> : Tree<T>
{
    public Tree<T> Left { get; set; }
    public T Value { get; set; }
    public Tree<T> Right { get; set; …
Run Code Online (Sandbox Code Playgroud)

c# design-patterns anonymous-class

10
推荐指数
1
解决办法
522
查看次数

哪些开源C++项目有很好的(鼓舞人心的)测试?

什么是用C++编写的开源软件的优秀测试的鼓舞人心的例子?

我想阅读,研究和遵循.

c++ testing tdd open-source unit-testing

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

有没有办法在10.6机器上获得/使用OS X 10.3 Cocoa SDK?

在你问之前,是的,我有一个很好的理由想要在10.3上运行.这是一个非常小的内部项目,必须在一个非常重要的人的机器上运行,这个机器无法升级.=)

10.6 DVD似乎没有提供安装10.3 SDK的选项,只有10.4+.我也似乎无法在苹果网站上找到它.

我发现这个提示有关如何通过Xcode可选安装在10.5上安装它,但是10.6的情况似乎不是这样吗? http://www.cocoabuilder.com/archive/cocoa/201508-10-3-9-sdk-with-xcode-2-5-on-leopard.html

它是不兼容的,还是因为它太旧而没有提供?我必须使用早期版本的Xcode吗?我可以尝试通过<10.6 DVD安装吗?

macos sdk cocoa

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

正则表达式首次出现?

假设我有以下字符串:

这是为了测试而进行的测试.这只是一个测试.结束.

我想选择this is a testthis is only a test.我需要做什么?

我试过的以下正则表达式产生了一个愚蠢的结果:

this(.*)test (我也想捕捉它之间的东西)

回报 this is a test for the sake of testing. this is only a test

看起来这可能是我忘记的事情.

regex

10
推荐指数
2
解决办法
4万
查看次数

覆盖静态方法

我通过继承RolesService来扩展一个新类.在RolesService中,我有一个静态方法,我想在我新派生的类中覆盖它.当我从派生对象进行调用时,它不使用重写的静态方法,它实际上调用基类方法.有任何想法吗?

public class RolesService : IRolesService
{
    public static bool IsUserInRole(string username, string rolename)
    {
        return Roles.IsUserInRole(username, rolename);
    }
}

public class MockRoleService : RolesService
{
    public new static bool IsUserInRole(string username, string rolename)
    {
        return true;
    }
}
Run Code Online (Sandbox Code Playgroud)

c# asp.net asp.net-mvc

39
推荐指数
4
解决办法
6万
查看次数

NSDictionary上的快速枚举失败,"[Waypoint countByEnumeratingWithState:objects:count:]:无法识别的选择器发送到实例..."

我在NSDictionary对象中有我的数据,其中键是CGPoints转换为NSValues,对象是UIColors.这是我用来从字典中返回一个对象的方法:

- (UIColor*) getTemperatureColor2 {
    NSDictionary* temperatureColorMap = [Weather getTemperatureColorMap];   

    for(id key in temperatureColorMap) {
        CGPoint point = [key CGPointValue];
        if ( (int)roundf(self.temperature_celsius) >= (int)roundf(point.x)  ) { 
            if ( (int) roundf(self.temperature_celsius) <= (int) roundf(point.y) ) {
                return [temperatureColorMap objectForKey:key];
            }
        }       
    }

    return [UIColor blackColor];    
}
Run Code Online (Sandbox Code Playgroud)

这是getTemperatureColorMap方法,在同一个类(Weather)中实现:

+ (NSDictionary*) getTemperatureColorMap {
    static NSDictionary* temperatureColorMap = nil;

    if (temperatureColorMap == nil) {
        temperatureColorMap = [[[NSDictionary alloc] initWithObjectsAndKeys:
                            RGB2UIColor(0x0E09EE), [NSValue valueWithCGPoint: CGPointMake(-99, -8)],
                            RGB2UIColor(0xB85FC), [NSValue valueWithCGPoint:  CGPointMake(-7, -3) ],
                            RGB2UIColor(0x0BDCFC), [NSValue valueWithCGPoint: …
Run Code Online (Sandbox Code Playgroud)

iphone key object nsdictionary fast-enumeration

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

这个重写规则是什么意思?

我正在安装phpancake,有一个像这样的文件夹

application/
install/
library/
public/
sql_schema/
install.html
install.php
Run Code Online (Sandbox Code Playgroud)

这条规则意味着什么?

RewriteEngine On
RewriteCond %{REQUEST_FILENAME} -s [OR]
RewriteCond %{REQUEST_FILENAME} -l [OR]
RewriteCond %{REQUEST_FILENAME} -d
RewriteRule ^.*$ - [NC,L]
RewriteRule ^.*$ /vote/public/index.php [NC,L]
Run Code Online (Sandbox Code Playgroud)

.htaccess rewrite http rule

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