问题列表 - 第29633页

Prolog常数

有没有办法在prolog中定义常量?

我想写点类似的东西

list1 :- [1, 2, 3].
list2 :- [4, 5, 6].

predicate(L) :- append(list1, list2, L).
Run Code Online (Sandbox Code Playgroud)

我现在正在使用的解决方法是

list1([1, 2, 3]).
list2([4, 5, 6]).

predicate(L) :-
    list1(L1),
    list2(L2),
    append(L1, L2, L).
Run Code Online (Sandbox Code Playgroud)

但是每次我需要访问常量时绑定一个像这样的"无用"变量有点笨拙.

我认为另一个(甚至是更丑陋的)工作将是在构建链中包含cpp.

(在我的实际应用中,列表是在许多地方使用的大型LUT.)

prolog

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

来自git的混淆错误消息

我从Git那里收到了这条消息:

您要求从远程"原点"拉出,但没有指定分支.因为这不是当前分支的默认配置远程,所以必须在命令行上指定分支.

有人能解释一下吗?更重要的是如何解决它?

git github

87
推荐指数
3
解决办法
5万
查看次数

Jquery>选择器

在此示例(正在工作)中单击按钮,该部分切换为可见/不可见.很棒,但第2行的代码实际上是做什么的?我在jQuery.com上找到了对eq(0)部分的引用但是'>'我没有任何线索.在萤火虫下,">"是否存在似乎并不重要.

 $("#btnHideShow").click(function() {
                 $("> :eq(0)", "#toggleGrid").toggle("blind");
                 if ($("#btnHideShow").val() == "Hide List") {
                     $("#btnHideShow").val('Show List');
                 } else {
                     $("#btnHideShow").val('Hide List');
                 };
             });
Run Code Online (Sandbox Code Playgroud)

jquery jquery-ui jquery-selectors

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

如何使用WMI检索Windows计算机的SID?

我不是在寻找用户SID.我正在寻找计算机SID,活动目录将用于唯一标识计算机.我也不想查询活动目录服务器,我想查询计算机本身.

windows dns wmi identity wmi-query

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

枚举字符串C#和JavaScript

在我的.aspx中我定义了以下javascript变量:

var action = <%=ProdView %>
Run Code Online (Sandbox Code Playgroud)

在代码隐藏中,它返回一个自定义枚举值:

protected ProductView ProdView { get; private set; }
Run Code Online (Sandbox Code Playgroud)

我想这会自动转换为javascript中的字符串?看起来没有,因为我得到运行时错误"Item is not defined",其中Item是值ProdView.Item.最终我希望动作的值为"Item"作为值.

这是Enum:

  public enum ProductView
  {
   Product,
   Item
  }
Run Code Online (Sandbox Code Playgroud)

javascript c#

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

WPF标签设计

我在WPF中有一个标签,我想重新设置,因此它有圆角.

我已经有以下代码:

<Style  TargetType="{x:Type Label}">        
    <Setter Property="Background" Value="Red"/>
    <Setter Property="Margin" Value="2,2,2,2"/>
    <Setter Property="BorderThickness" Value="2"/>
    <Setter Property="BorderBrush" Value="Blue"/>
   </Style>
Run Code Online (Sandbox Code Playgroud)

任何人都可以协助我如何在此标签上添加角半径

非常感谢

wpf

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

无法让jQuery隐藏起作用

我需要一个完整性检查,因为我花了大约一个小时试图解决这个问题!

getRows().each(function() {
    alert(this);     // alerts '[object HTMLTableRowElement]', nothing wrong here
    this.hide();     // row not hidden - wtf?
    alert('hidden'); // no alert - more wtf!
});
Run Code Online (Sandbox Code Playgroud)

调用hide()轰炸是什么意思?

jquery show-hide

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

为什么git-rebase在我所做的只是压缩提交时给我合并冲突?

我们有一个拥有超过400个提交的Git存储库,其中前几个是很多试错.我们希望通过将许多提交压缩到单个提交来清理这些提交.当然,git-rebase似乎还有很长的路要走.我的问题是它最终会出现合并冲突,而这些冲突并不容易解决.我不明白为什么会有任何冲突,因为我只是压缩提交(不删除或重新排列).很可能,这表明我并不完全理解git-rebase是如何做它的南瓜的.

这是我正在使用的脚本的修改版本:


repo_squash.sh(这是实际运行的脚本):


rm -rf repo_squash
git clone repo repo_squash
cd repo_squash/
GIT_EDITOR=../repo_squash_helper.sh git rebase --strategy theirs -i bd6a09a484b8230d0810e6689cf08a24f26f287a
Run Code Online (Sandbox Code Playgroud)

repo_squash_helper.sh(此脚本仅由repo_squash.sh使用):


if grep -q "pick " $1
then
#  cp $1 ../repo_squash_history.txt
#  emacs -nw $1
  sed -f ../repo_squash_list.txt < $1 > $1.tmp
  mv $1.tmp $1
else
  if grep -q "initial import" $1
  then
    cp ../repo_squash_new_message1.txt $1
  elif grep -q "fixing bad import" $1
  then
    cp ../repo_squash_new_message2.txt $1
  else
    emacs -nw $1
  fi
fi
Run Code Online (Sandbox Code Playgroud)

repo_squash_list.txt :(此文件仅由repo_squash_helper.sh使用)


# Initial import
s/pick \(251a190\)/squash …
Run Code Online (Sandbox Code Playgroud)

git git-merge git-rebase git-checkout git-branch

126
推荐指数
4
解决办法
3万
查看次数

使用Python将Django中的Unix时间戳转换为人格式

我想将一个字符串(例如1277722499.82)中的unix时间戳转换为更人性化的格式(hh:mm:ss或类似).有没有一种简单的方法在python中为django应用程序执行此操作?这是在模板之外,在我想要做的模型中.谢谢.

编辑 我正在使用python函数time.time()来生成时间戳.根据文件:

了time.time()

将时间作为以UTC为单位以秒为单位表示的浮点数返回.请注意,即使时间总是作为浮点数返回,但并非所有系统都提供的精度高于1秒.虽然此函数通常返回非递减值,但如果在两次调用之间设置了系统时钟,则它可以返回比先前调用更低的值.

python string django formatting datetime

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

与<input type ="radio">一起使用的HTML和CSS好吗?

什么是<input type="radio">在HTML中使用的最佳方式?

我正在寻找语义上很好的HTML,其格式可通过CSS配置.

我希望能够设计/渲染它看起来像:

    Car: (o) Yes
         (X) No
         (o) Maybe

  Train: (o) Yes
         (o) No
         (X) Maybe

Address: [An input text box     ]
Run Code Online (Sandbox Code Playgroud)

考虑到CSS,我认为我希望左边的标签(例如"Car"和"Bus")处于某种text-align: right块状态?

我不知道右边的单选按钮:在某种程度上<span>可能与"display: inline-block"?还是"white-space: pre"

您会推荐哪种块级标签(例如<p><div>)和/或其他标签(例如<span><br/>)?


编辑:

以下怎么样?

<legend>像HTML一样,HTML使用和alistapart文章中的建议:

<fieldset>
<legend>Car</legend>
<label><input type="radio" name="car" value="yes"/> Yes</label>
<label><input type="radio" name="car" value="no"/> No</label>
<label><input type="radio" name="car" value="maybe"/> Maybe</label>
</fieldset>
Run Code Online (Sandbox Code Playgroud)

为了方便Firefox访问/定位内容<legend>,请将其放在<span>:

<fieldset>
<legend><span>Car</span></legend>
<label><input …
Run Code Online (Sandbox Code Playgroud)

html css radio-button

7
推荐指数
2
解决办法
5110
查看次数