小编Hen*_*Cho的帖子

对标题不清晰表示歉意.以下是我正在构建的一个非常具体的谓词,它只是部分按预期工作.

% replace_elements(+SearchingElementsList,+ReplacementsList,+OriginalList,-ResultingList).
% ResultingList consists of all elements of SearchingElementsList replaced by elements of ReplacementsList respectively.

replace_elements([],[],_,_).
replace_elements([H|T],[H2|T2],[H3|T3],List) :-
    H \= H3,                                 % H is not H3, therefore
    replace_elements([H|T],[H2|T2],T3,List). % Skip this element and continue with T3.
replace_elements([H|T],[H2|T2],[H|T3],[H2|List]) :-
    replace_elements(T,T2,T3,List).          % H is found in OriginalList. Continue with tails.

目前:

?- replace_elements([1,2,3],[one,two,three],[1,2,3,4,5],Result).
?- Result = [one,two,three|_7636].

预期:

?- Result = [one,two,three,4,5].

任何提示将不胜感激!

编辑:为我的具体问题提出了一个有效的答案.

% Eventually, recursion starts from all empty lists.
replace_elements([],[],[],[]).
% Rules are empty, push remaining H …

http://i.imgur.com/gvNOQ7p.png

如上所述,我想学习一个带有"dropdown-caret"的下拉菜单(图中带圆圈的绿色).我查看了twitter的来源,似乎他们已经将其视为<li class="dropdown-caret"></li>,但我无法使用Bootstrap生成它.这不包括在引导程序中,还是我做错了？

此外,如何将下拉菜单对齐而不是默认对齐？如图所示,下拉菜单向左对齐.

我目前正在做 Fortran77 作业，所以请不要告诉我确切的编码，但请给我一个我想要做的提示：

使用 UNIX 终端，我想通过执行来获取传递的参数

./program.exe parameter

我无法想到谷歌这个问题有更好的关键词,所以如果这是重复的话我会道歉.

这是我的logout.pl脚本基本上删除cookie:

#!/usr/bin/perl -w
use strict;
use warnings;

use CGI;

my $q = new CGI;

print $q->header('text/html');

my $cookie = $q->cookie(
  -name    => 'CGISESSID',
  -value   => '',
  -expires => '-1d'
);

print $q->header(-cookie=>$cookie);
print $q->redirect('welcome.pl');

exit;

当我在浏览器中运行此脚本时,它会打印以下内容:

Set-Cookie: CGISESSID=; path=/; expires=Mon, 17-Feb-2014 09:05:42 GMT Date: Tue, 18 Feb 2014 09:05:42 GMT Content-Type: text/html; charset=ISO-8859-1 Status: 302 Found Location: welcome.pl

但是,我想要的是浏览器删除cookie并重定向到welcome.pl.

我注意到颜色方案设置.zshrc不会影响终端窗口的背景颜色，因此我决定为 OSX 终端加载单独的预设颜色方案。作为回报，这改变了.zshrc以前的配色方案。Vim 也有自己的颜色方案，似乎受到 OSX 终端颜色方案的影响。

我很好奇是否有任何通用方法可以更改所有三个方的配色方案。如果没有，请帮助我理解OSX 终端、vim和zsh中颜色方案的交互