第N个素数Prolog的列表
第N个素数是指在素数序列中的第N个数。素数是指只能被1和自身整除的正整数，不包括1。Prolog是一种逻辑编程语言，它基于一阶逻辑和形式化推理，常用于人工智能和专家系统的开发。
在Prolog中，可以通过编写程序来计算第N个素数。以下是一个示例程序：
% 判断一个数是否为素数
is_prime(2).
is_prime(3).
is_prime(P) :-
integer(P),
P > 3,
P mod 2 =\= 0,
\+ has_factor(P, 3).
% 判断一个数是否有因子
has_factor(N, F) :-
N mod F =:= 0.
has_factor(N, F) :-
F * F < N,
F2 is F + 2,
has_factor(N, F2).
% 计算第N个素数
nth_prime(N, P) :-
integer(N),
N > 0,
nth_prime(N, 2, P).
nth_prime(1, P, P) :-
is_prime(P).
nth_prime(N, P, Prime) :-
N > 1,
P2 is P + 1,
is_prime(P2),
N2 is N - 1,
nth_prime(N2, P2, Prime).使用上述程序，可以通过调用nth_prime(N, P)来计算第N个素数，其中N为要计算的素数的序号，P为计算得到的素数。
例如，要计算第10个素数，可以调用nth_prime(10, P)，程序会返回P的值为29，即第10个素数为29。
在腾讯云的产品中，与计算相关的产品有云服务器、容器服务、函数计算等。这些产品可以提供强大的计算能力，支持开发者在云端进行各种计算任务的部署和运行。
- 腾讯云服务器（云服务器ECS）：提供可扩展的计算能力，支持按需购买和弹性伸缩。详情请参考：腾讯云服务器
- 腾讯云容器服务（TKE）：基于Kubernetes的容器管理服务，提供高可用、弹性伸缩的容器集群。详情请参考：腾讯云容器服务
- 腾讯云函数计算（云函数SCF）：无服务器计算服务，支持事件驱动的函数计算模型，无需关心底层基础设施。详情请参考：腾讯云函数计算
以上是关于第N个素数的计算方法以及腾讯云相关产品的介绍。希望对您有所帮助！
相关·内容
2回答
我正在尝试学习prolog，现在我正在尝试打印第N个素数的列表：
primes(N, N).
primes(N, F):-
prime(F),
write(F), nl,
NewF is F + 1,
primes(N, NewF).
primes(N):-
primes(N, 2).
Prime/1检查给定的数字是否为质数。
素数(10)的输出将是2，3，其中它应该是2，3，5，7，因为当3后面的NewF (将是4)不是素数时。因此，它也不会执行write(F)或递归调用。我想知道如何解决这个问题，这样它就不会在不是素数的时候写F，而是在那之后仍然执
浏览 19提问于2016-09-23得票数 2
回答已采纳
2回答
我对Prolog的递归函数有一个问题。我认为我没有正确地实现它，需要帮助。
我需要生成前N个质数，并在列表中返回它。生成质数不是问题，相反，在列表中生成质数是我的问题。
以下是相关代码的一部分：
genList(_, 0, _).
genList(X, N, PrimeList, PrimeList):-
N > 0,
isprime(X),
X1 is X +1,
N1 is N -1,
genList(X1,N1,[X|PrimeList], [X|PrimeList]),!.
genList(X, N, PrimeList, PrimeLis
浏览 2提问于2012-09-16得票数 0
回答已采纳
1回答
我正在学习Prolog，最近我发现了一段音符：-
示例: nth/3
例如，要找到列表的第n个元素，我们可以使用
nth([X|_],0,X).
nth([_|L],N,X) :- N1 is N - 1, nth(L,N1,X).
列表的第0元素是列表的首(第一个子句)，否则我们使用列表尾部的第一个元素(第二个子句)。
一旦我们找到了第n个元素，我们就无法通过回溯找到更多的元素。
nth([X|_],0,X).
nth([_|L],N,X) :- N1 is N - 1, !, nth(L,N1,X).
增加
浏览 0提问于2014-02-27得票数 1
回答已采纳
我正在尝试生成一个列表，例如
[X1/1,X2/2,X3/3....Xn/N] with given N.
我尝试创建一个函数maketemplate(N,L)，它接受N并返回L列表和Xn/N项，其中Xn是第N个变量，N是一个整数。
作为一个更简单的例子，我最初尝试用给定的N创建一个[1,2,3...N]列表，但我甚至不能让它工作。
mysolution(L,N,N).
mysolution([I|Rest],I,N):-
I < N,
I is I+1,
mysolution(Rest,I+1,N).
我如何在prolog中模拟一个类似for循环的操作？
浏览 2提问于2016-05-30得票数 1
2回答
我刚开始学习python和系统编程。对于家庭作业，我需要找到并打印第n个质数。我写了下面的代码-我可以找到一个小于或等于n的质数列表，但是，我不知道如何打印我创建的列表中的第n个质数。我一直收到索引错误: list index out of range。
我想我漏掉了什么。有人能看一下我的代码并给我一些如何修复它的指导吗？非常感谢您的帮助。谢谢。
import sys
import math
def s_prime(n):
is_prime=list(range(n+1))
for i in range(2, int(n**0.5)+1):
if is_pr
浏览 3提问于2013-07-05得票数 0
回答已采纳
我正在尝试创建一个删除矩阵数组中第n列的查询elimcol(_, [H|T], X)。
我认为作为一个初学者，我把事情复杂化了，但在Prolog逻辑中，将一个矩阵称为“列表列表”会更好。如上所述，由于列本质上是每个列表列表中的第i个元素，如何从列表的列表中删除所有列表中的第i个元素。(对于这个令人困惑的说法，我很抱歉)
到目前为止，这是我能够创建的：
elimcol(1, [G|H], H) :- !.
elimcol(N, [G|H], [G|L]) :-
N > 1,
Nn is N - 1,
!,
elimcol(Nn,H,L).
这可以删除一个
浏览 4提问于2020-06-02得票数 1
回答已采纳
3回答
嗨，我需要一些prolog函数的帮助，请：
定义谓词：
row( X，N，C)：C是矩阵X的第N行。
column( X，N，C)：C是矩阵X的列N。
first_column(X，C，R)：矩阵X由第一列C和矩阵R的其余部分组成。
对称(X)：X是对角线对称的二次矩阵。
矩阵是列表的列表：[a，b，c，d，e，f，g，h，i] >>>
a b c
d e f
g h i
浏览 2提问于2011-04-28得票数 0
我想在Prolog中编写一个谓词，该谓词显示N元素列表的所有组合，并精确地使用M“黑色元素”(b表示黑色，w表示白色)。
示例查询：
?- combination(3, 2, L).
L = [b, b, w] ;
L = [b, w, b] ;
L = [w, b, b] ;
false.
我写了这个：
combination(0, _, []).
combination(Nn, 0, [w|L]) :-
NN1 is Nn-1,
combination(NN1, 0, L).
combination(Nn, N, [b|L]) :-
N1 is N-1,
NN1 i
浏览 2提问于2022-04-11得票数 1
3回答
在“通向逻辑、数学和编程的哈斯克尔之路”一书中，作者提出了两种方法，可以用k > 1找到一个数字n的最小除数k > 1，声称第二个版本比第一个版本要快得多。我很难理解为什么(我是个初学者)。
以下是第一个版本(第10页)：
ld :: Integer -> Integer -- finds the smallest divisor of n which is > 1
ld n = ldf 2 n
ldf :: Integer -> Integer -> Integer
ldf k n | n `rem` k == 0 = k
| k ^ 2
浏览 2提问于2014-02-23得票数 4
回答已采纳
我在秋天开始了一个计算机科学项目，在开始之前我正在尝试建立我的编程印章。
我正在学习麻省理工学院开放式课程6.0的问题，第一个问题是产生第1000个素数。显然，我想生成自己的代码，所以我想知道我的逻辑出了什么问题。
counter = 1
primes = [2]
n = 3
while counter < 1000:
for i in range(2, n):
if n % i == 0:
break
else:
primes.append(n)
counter = counter
浏览 1提问于2013-06-28得票数 1
我正在做欧拉项目的第12题，我必须找到第一个有501个因子的三角形数。所以我用Haskell做了个实验：
divS n = [ x | x <- [1..(n)], n `rem` x == 0 ]
tri n = (n* (n+1)) `div` 2
divL n = length (divS (tri n))
answer = [ x | x <- [100..] , 501 == (divL x)]
第一个函数是求一个数的除数。
第二个函数计算第n个三角形数
第三个函数查找作为三角形数的除数的列表的长度
第四个函数应该返回有501个因子的三角形数的值。
但是到目前为止，这个
浏览 1提问于2009-09-27得票数 2
回答已采纳
2回答
所以我明天有作业要做。我必须过滤列表中的每第n个元素，并将其作为列表返回。举个例子：
?- everyNth(3，a，b，c，d，e，f，Rs)。Rs = c，f。
我的想法基本上是：
everynth(N, [X|Xs], L) :- everynth(N, [X|Xs], N, L).
everynth(N, [], C, L).
everynth(N, [X|Xs], 0, [X]) :- everynth(N, Xs, N, [X]).
everynth(N, [X|Xs], C, L) :- C1 is C -1,
everynth(N,Xs,C1,L).
但它不是这样工作的，因
浏览 0提问于2012-07-10得票数 2
回答已采纳
1回答
实际上，我已经编写了我的第n项函数，它接受n并编译列表“素数”中的所有素数，并返回索引的位置- -1的素数是10001素数:如果有人可以改进我的代码或为这个问题编写更好的代码，请允许我这样做。
def nthprime(n):
primes = [2]
attempt = 3
while len(primes) < n: # it runs until the len of primes is greater or equal to n
if all(attempt % prime != 0 for prime in primes):
浏览 7提问于2022-11-22得票数 1
1回答
使用Prolog：
编写一个谓词dispnth以显示列表的第n个元素。您可以假设输入列表始终具有n个或更多元素。
例如：?- dispnth([1, [2, 3], 4, 5], 2, X).应返回X = [2, 3]
到目前为止，我有这样的想法：
dispnth([X|_], 0, X).
dispnth([_|Xs], N, X) :-
dispnth(N1, X, Xs),
N is N1 + 1.
浏览 1提问于2018-12-04得票数 1
4回答
有什么简单的方法可以让这个小程序更快吗？我已经完成了一个任务，它是正确的，但是太慢了。该程序的目的是打印第n对素数，其中两个素数之间的差是2，给定n。
#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
bool isPrime(int number) {
for (int i = 3; i <= number/2; i += 2) {
if (!(number%i)) {
return 0;
}
}
return 1;
}
int fin
浏览 1提问于2016-09-16得票数 2
1回答
写一个程序，当给一个参考的人和一个学位，程序可以告诉我所有的第n级表亲的人有。我开始写我的事实:男性/1女性/1和儿童/2-这些都是我的家庭成员的名字。然后我开始为表兄弟们写规则，我想我为每一个等级都写了一条不同的规则，所以只有第三个表兄弟才会这么做。我遇到的问题如下。
firstCousin_of(X,Y):-child(X,Z1),child(Y,Z2),child(Z1,Z),child(Z2,Z).，我要找到一个表弟，但是第二个表哥更复杂，这让我觉得必须有一个递归的方法。
我需要这个规则，all_cousins(Person, Degree, ListOfCousins)，它
浏览 2提问于2021-10-18得票数 1
3回答
通过Haskell教程，它可以编写一个函数'isPrime‘来确定一个数字是否是素数。
我想出了：
isPrime :: Integer -> Bool
isPrime n = factors n == [1,n]
where factors n = [x | x <- [1..n], n `mod` x == 0]
这很管用。
但是我怎么去问第n个素数--就像第100个素数是541？
我进一步探讨了素数，发现了一个元素列表，如下所示：
primeFactors :: Integer -> [Integer]
primeFactors n = filter p
浏览 1提问于2018-11-16得票数 1
回答已采纳
我在做一个编程问题，在这个问题中，我需要写一个函数，这个函数需要第n个hamming数。
我有一些代码用来创建大小为n的列表，列表中的每个值都是"1"，然后使用列表进行一些操作来更改列表的值，以便列表中的每个值都是汉明号。
守则如下：
def hamming(num):
#Make a list of size n, n-1 is the value we want to return.
h = [1] * num
#Make 3 variables representing the 2^i, 3^j, 5^k of our hamming number.
x
浏览 1提问于2014-07-31得票数 4
回答已采纳
2回答
双素数算法优化
、、、
我编写了以下算法来打印出第N个孪生素数：
def isprime(x):
for i in range(2, (x + 2) / 2):
if x % i == 0:
return False
return True
inputIndex = int(raw_input())
tempIndex = 1
n=2
while True:
if isprime(n) & isprime(n + 2):
if inputIndex == tempIndex:
print
浏览 0提问于2014-11-27得票数 4
2回答
我试图在Ruby2.1中实现。
我也将其标记为“算法”，因为我认为这个问题与语言无关，而且编写的Ruby代码非常简单，即使您不熟悉，也可以阅读。我使用了描述性变量名来帮助它。
遍历整数系统，忽略大于2 (2，3，5，7，…)的偶数
对于每个整数，p，检查p是否为素数：
迭代已找到的素数，这些素数小于p的平方根。
对于这个集合中的每个素数，f，检查它是否是p: i的因子。如果f除以p，那么p是非素数。下一页从2继续。
如果没有找到任何因素，则p是素数。继续到3。
如果p不是我们找到的第n个素数，那么将它添加到素数列表中。下一页从2继续。
否则，p是我
浏览 8提问于2015-04-04得票数 1
我有这样的代码：
:- use_rendering(sudoku).
:- use_module(library(clpfd)).
sudoku(Rows) :-
length(Rows, 9), maplist(same_length(Rows), Rows),
append(Rows, Vs), Vs ins 1..9,
maplist(all_distinct, Rows),
transpose(Rows, Columns),
maplist(all_distinct, Columns),
Rows = [As,Bs,Cs,Ds,Es,F
浏览 0提问于2017-10-03得票数 3
回答已采纳
我想编写一个谓词find_difference([A|B],[P|Q],[C-D|E-F])来查找列表[A|B]和[P|Q]之间的区别，并给出类似于[C-D|E-F]的结果，C表示更改发生在第N个子列表中，而D则告诉更改发生在该子列表的第N个元素(每个子列表中的更改只会是一个字符)。因此，查询和预期结果如下：
find_difference([[a,b,c],[w,t]],[[a,b,d],[w,s]],X).
X=[1-3,2-2].
谓词也能处理变量吗？例如：
find_difference([[A,B,C],[A,D]],[[A,D,C],[A,S]],X).
X=[1-2,2-2].
浏览 3提问于2014-10-21得票数 0
回答已采纳
2回答
我有一个哈希表，它由1000个元素和100个桶组成，每个桶最多有100个条目。假设一个桶有100个条目(即该桶列表中的100个条目)。现在，如果我所寻找的项目是桶列表中的第100位，那么在大O符号方面的时间复杂性将是什么呢？O(100)还是O(n)？或者别的什么？
浏览 3提问于2014-06-16得票数 2
回答已采纳
1回答
我必须将矩阵表示为矩阵行的列表，使用术语[[a,b],[c,d]]，并用Peano表示法表示数字。
我必须得到一行矩阵
ow(X,N,C)：C是矩阵X的第N行，矩阵的列
column(X,N,C)：C es矩阵X的第N列。
在矩阵的第一列和矩阵的其余部分(这是完全相同的矩阵，但没有第一列)中分解矩阵：
first_column(X,C,R): matrix X is formed by a first column C in
front of matrix R.
有人能帮帮我吗？
浏览 8提问于2012-11-06得票数 0
回答已采纳
4回答
N个素数
、、
我正试图在xCode的Swift中找到第n个素数，但我似乎无法做到这一点，它只是给出了一个素数列表。
func nthPrimeNumber (n: Int) -> Int
{
var prime: Int
var divisor: Int
var isPrime: Bool
for (prime = 2; prime <= 50; ++prime )
{
isPrime = true;
for (divisor = 2; divisor < prime; ++divisor )
浏览 2提问于2015-01-21得票数 0
回答已采纳
2回答
我对Prolog非常陌生，但我试图让这个程序给我第一组孪生素数，要么出现在N.
twins(M) :-
M2 is M + 2,
twin_prime(M, M2),
write(M),
write(' '),
write(M2).
M3 is M + 1,
twins(M3).
然而，我不完全确定如何让它循环并重复，直到它是真的。我尝试过使用repeat/0谓词，但我只是陷入了一个无限循环中。有人有什么我可以
浏览 1提问于2014-05-02得票数 1
回答已采纳
我在Coderbyte上做了以下挑战，它不会计算一些更大的数字，所以我假设我的函数很慢。在我的电脑上，计算第1000个质数需要0.045秒。
提示符是：
让函数PrimeMover(num)返回第n个质数。范围从1到10^4。例如:如果num为16，则输出应为53，因为53是第16个质数。
使用下面框中的参数测试功能使用不同的参数测试您的代码。
下面是我的代码：
def PrimeMover(num)
start = Time.now
return 2 if num == 1
return 3 if num == 2
return 5 if num == 3
count
浏览 3提问于2013-12-26得票数 0
这段代码是用Python 3编写的，我正在试图找到第10001个素数。
#10001st prime number
mylist=[]
def prime_index(n):
for i in range(99**99):
for x in range(2, int(i**1/2)):
if i % x == 0:
return False
return True
mylist.append(i)
n=int(n+1)
print(my
浏览 2提问于2017-03-03得票数 2
回答已采纳
我有一个谓词，它给出了列表中元素的数量。
get_elements([],0).
get_elements([_|Tail], N) :- get_elements(Tail, N1), N is N1 + 1.
?- get_elements([1,1,1,1,1,1],N).
N = 6.
而不是6，我想要3。我怎样才能改变我的谓词来做到这一点呢？
谢谢!
浏览 0提问于2019-05-01得票数 0
回答已采纳
2回答
我需要枚举将给定数字n划分为一个或多个不同素数之和的所有方法，在Prolog中，a+b+.+m
例如：
给定整数n，程序应该将适当的和写入标准输出。例如，如果n= 20，程序可能会打印
2 + 5 + 13
2 + 7 + 11
3 + 17
7 + 13
N可以是任何数字，并且对运行时没有限制。
以下是我所拥有的：
partition(N, _, []) :- N = 0.
partition(N, [], _) :- fail.
partition(N, [IH|IT], [OH|OT]) :-
N =< 0, fail;
N >= IH, M is N-IH
浏览 7提问于2016-09-17得票数 2
回答已采纳
我在Prolog中有这个程序，它从列表中删除每个第n个元素的元素，比如: removenth(1, 2，3,4,5,6，2，2，R)。它应该返回:r= 1,3,5。
我有这个：
removeallNth(F, N, R):- removeallNth(F, N, 1, R).
removeallNth([], _, _, R).
removeallNth([H|T], N, C, R):- N \== C, Nc is C + 1, concat(R,H,S),
removeallNth(T, N, Nc, S).
removeallNth([_|T], N, C, R):- N == C
浏览 2提问于2011-11-16得票数 2
回答已采纳
1回答
我看过很多关于这个主题的旧文章，它们都让我在某种程度上感到困惑。所以我从一开始就开始。
问题是Euler项目的#7，我是一个相当新的程序员，试图解决这些问题。第7条如下。
通过列出前六个素数: 2，3，5，7，11和13，我们可以看到第6素数是13。10,001素数是多少？
我的问题如下。我清楚地了解什么是素数以及它们是如何工作的。我为这个问题编写的sudo代码是：
For n in range(3,n) #where n is some very large value.
if n%i ==0 for i in range(2,n-1)
return False
if n%i == 0 fo
浏览 1提问于2017-05-19得票数 0
1回答
列表中的Prolog列表
、、、
当我试图创建一个包含多个子列表的列表时，我遇到了一些麻烦。我不明白为什么我的代码不能像预期的那样工作。
solves(_, _, 0, _).
solves(Length, List, Stopcond, NList):- length(NL, Length),
append([NL], List, NList),
write(NList), nl,
N is Stopcond-1,
solve
浏览 5提问于2016-11-09得票数 1
回答已采纳
5回答
寻找10001素数
、、、
我正在解决Euler问题7，它说：
通过列出前六个素数: 2，3，5，7，11和13，我们可以看到第6素数是13,10001素数是多少？
下面是我写的代码：
def primes(n):
primes = []
attempt = 3
while len(primes) < (n-1):
for i in range(len(primes)):
if attempt % primes[i] == 0:
attempt += 2
break
els
浏览 0提问于2015-09-01得票数 23
回答已采纳
2回答
好吧，假设我有以下两个事实：
data1(50，20，15，20，25，20，84)。data2(50，30，15，5，10，18，60). .
我想提出一个查询，询问定义为这些事实的一部分的列表中的第N个元素是否具有某种价值。
查询( L1 \T尾) :- L1为50。这将工作，但只有当查询是那样的-查询(50，30，20)..。我想问一些类似于query(data1)的问题。
浏览 2提问于2013-06-13得票数 0
回答已采纳
2回答
我想得到三个元素的第n次排列。例如：
列表= 1,2,3，n=5
产出1,2,3,1,2 .
我不想要像1,1,1,1,1这样的连续元素.
我很少尝试能得到完整的排列，不知道如何得到我所需要的。
varia_repp(N,RVaria):-varia_rep(N,[1,2,3],RVaria).
varia_rep(0,_,[]).
varia_rep(N,[H|L],RVaria):-N>0,N1 is N-1,delete(H,[H|L],_),varia_rep(N1,[H|L],RVaria).
或
perm(List,[H|Perm]):-delete(H,List,Rest
浏览 2提问于2013-08-19得票数 0
回答已采纳
我正在尝试使用一个与GNU Prolog几乎兼容的API。不幸的是，GNU Prolog谓词nth(X，List，Item)不在那里。
如何使用ISO谓词实现第n个？
描述:如果列表中的第X项是Item，则nth(X，List，Item)的计算结果为true。
我又被难住了。请帮帮忙。
首先谢谢你。
浏览 8提问于2011-04-25得票数 1
1回答
确定素数函数
、、、
有人能解释一下for循环中的第二和第三条语句吗？
中间的第1和第2 I是什么，最后一个(i = i + 6)是什么？
function prime(n) {
if (n <= 1) return false;
if (n <= 3) return true;
if (n % 2 == 0 || n % 3 == 0) return false
for (let i = 5; i * i <= n; i = i + 6) {
if (n % i == 0 || n % (i + 2) == 0)
return false;
}
浏览 6提问于2021-12-25得票数 1
1回答
SWI中有表示空列表的方法吗？像这样：
[[],[]],
[[],[],[]],
[[],[],[],[]]
我想要这样的东西
[[]|[]]
浏览 3提问于2014-06-19得票数 0
回答已采纳
1回答
我正在尝试理解Prolog中的递归，但它肯定与PHP、Java和C等其他语言中的递归不同。我一直在阅读有关它的所有教程，但我仍然没有得到具体的、相当复杂的案例。
例如，为了获取列表中元素出现的次数，我们有：
occurrence([], _, 0).
occurrence([H | T], H, N) :- !, occurrence(T, H, N1), N is N1 + 1.
occurrence([_ | T], H, N) :- occurrence(T, H, N).
它可以使用以下方法调用：
occurrence([1,4,9,1,2],1,R).
其结果应该是：
?- R=2
浏览 2提问于2014-04-29得票数 0
回答已采纳
2回答
我正在尝试寻找第n(n <= 2000000) 。我有下面的代码来做这件事。
int k = 0;
for(int i = 0; i <= 1000; i++)
{
for(int j = i +1 ; j <= 2500; j++ )
{
semiprimes[k++] = (primes[i]*primes[j]);
}
}
sort(semiprimes,semiprimes+k);
primes[]是一个质数列表。
我的问题是，我得到了不同的n = 2000000值，对for循环有不同的限制。谁能告诉我一种正确计算这些限制
浏览 0提问于2012-05-04得票数 4
这是我的密码。
equals2(X,Y,N,I):- X is Y,I is N+1; I is N.
elemNum(X,[],0).
elemNum(X,[Y|Ys],N) :- elemNum(X,Ys,N1),equals2(X,Y,N1,I),N is I.
lemNum第一个参数是数组中的元素，第二个是数组。它计算数组中的元素数。然后在控制台
| ?- elemNum(1,[1,2,3,1,1],N),N<2.
N = 1 ?
yes
我确信，elemNum的功能比我的功能更好。在控制台中，这个断言怎么可能返回1？谢谢你的帮助
浏览 3提问于2016-12-03得票数 1
回答已采纳
1回答
我必须检查一个列表是否包含偶数个没有内置的元素。
示例：
containsEvenNumber([a,b,c,a,a], a).
返回false
containsEvenNumber([a,b,c,a], a).
返回true
当前状态：
not(A) :-
A, !,
fail.
not(_).
equal([E|_], E).
containsEvenNumber([], _).
containsEvenNumber([E|Tail], E) :-
unevenCount(Tail, E).
containsEvenNumber([Head|Tail], E) :
浏览 54提问于2018-06-08得票数 0
回答已采纳
在一个要求我在Prolog中实现经典的arg谓词的练习中，我遇到了一些问题。
arg(?Arg, +Term, ?Value)
其中Arg是一个术语的参数列表中参数的索引。它是这个论点的价值。
例如：
arg(1, t(f(X),Y,a), Value)
Value = f(X).
因为f(x)是t主函子的参数列表中的第一个参数。
所以我打算用univ =.来解决这个问题。以这种方式进行谓词：
argom(ArgIndex,Term,ValueArg):- Term =.. [_|ArgsList],
element_n(ArgIndex
浏览 2提问于2013-04-14得票数 0
回答已采纳
3回答
在SWI Prolog中，有一个谓词可以查找名为nth1的列表中的第n项。我想实现我自己版本的谓词，但是如果您查看清单(Nth1)代码，就会发现SWI非常复杂。有没有更简单的方法呢？
谢谢你:)。
浏览 1提问于2010-11-21得票数 4
回答已采纳
1回答
我想要做一个谓词，返回一个数字除数器的列表。例: 72 = 2*2*2*3*3。
prdel(A,[],_):-
A is 1.
prdel(P,[D|L],D):-
0 is mod(P,D),
P1 is P/D,
prdel(P1,L,D).
prdel(P,L,D):-
D1 is D+1,
prdel(P,L,D1).
这可以工作，并返回正确的列表。问题在于，如果我按空格，它不会停止，而是一次又一次地返回相同的列表(对不起，当您使用相同的谓词得到不同的答案时，我不知道英语中的那个词)。我希望它在第一次之后停止。
浏览 0提问于2014-11-20得票数 2
回答已采纳
我正在尝试编写一个谓词，它将接受一个列表、一个数字和一个变量，然后该变量将列表的前N个元素赋给该变量。我能够做到这一点，但当我试图使它更灵活，以便它在到达列表末尾或当N为0时停止时，我开始在列表末尾返回一个垃圾变量。下面是我的代码：
take(_,0,_) :- !.
take([],_,_) :- !.
take([Head|Tail], Number, [Head|Result]) :-
Number > 0,
N1 is Number - 1,
take(Tail, N1, Result).
当我尝试使用take([1,3,5,7], 3, L1)时，我得到
浏览 0提问于2012-12-03得票数 0
回答已采纳
1回答
最近，我想尝试使用Prolog来了解统一过程是如何工作的，所以我编写了下面的代码，从列表中返回第n个元素。
getfromarray([X|_],1,X).
getfromarray(A,N,E):-
N > 1,
A = [_|Y],
N1 is N-1,
getfromarray(Y,N1,E).
但是，当输入到程序的输入时，如
getfromarray(A,3,E)，它返回:-
A = [_G5129, _G5132, E|_G5136]
我知道，由于我写了规则A = [_|Y]，A是统一的，以满足规则在程序中的条件，因此A是以这种格式显示。但是，我
浏览 1提问于2015-10-28得票数 0
回答已采纳
2回答
我对prolog非常陌生，我正在尝试编写一个谓词，它给出了n个素数的值，它看起来像nth_prime(N, Prime)。我已经完成了计算数字是否为素数的函数。
div(X, Y):- 0 is X mod Y.
div(X, Y):- X>Y+1, Y1 is Y+1, div(X, Y1).
prime(2):- true.
prime(X):- X<2, false.
prime(X):- not(div(X, 2)).
我不明白我的下一步是什么，我该如何计算哪个质数属于N。
浏览 1提问于2020-11-24得票数 2
回答已采纳
我正在尝试编写一个Prolog代码，查找列表的第n个元素。我编写了下面的代码，但它没有正确返回元素。
match([Elem|Tail],Num,Num,Elem).
match([Elem|Tail],Num,C,MatchedNumber):-
match(Tail,Num,N,Elem),
C is N+1.
在第一行中，如果请求的元素号等于计数器，那么将当前列表的第一个元素提供给名为MatchedNumber的变量。这段代码正确地返回Num和Counter，但我不知道为什么当我想将MatchedNumber设置为Elem时，它总是返回列表的第一个元素。
1:这段代码有什么问
浏览 5提问于2015-05-26得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
