Simple prolog program. Getting error: >/2: Arguments are not sufficiently instantiated

Posted by user1279812 on Stack Overflow See other posts from Stack Overflow or by user1279812
Published on 2012-03-20T00:56:18Z Indexed on 2012/03/20 5:29 UTC
Read the original article Hit count: 194

Filed under:

prolog

|

swi-prolog

I made a prolog program posAt(List1,P,List2) that tests whether the element at position P of List1 and List2 are equal:

posAt([X|Z],1,[Y|W]) :- X=Y.
posAt([Z|X],K,[W|Y]) :- K>1, Kr is K - 1, posAt(X,Kr,Y).

When testing:
?- posAt([1,2,3],X,[a,2,b]).

I expected an output of X=2 but instead I got the following error: ERROR: >/2: Arguments are not sufficiently instantiated

Why am I getting this error?

© Stack Overflow or respective owner

Related posts about prolog

Prolog open source community, code repository,blogs,forums

as seen on Stack Overflow - Search for 'Stack Overflow'
I find useful groups.google.com/group/comp.lang.prolog/topics cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/ google.com/Top/Computers/Programming/Languages/Prolog/Implementations/ allisons.org/ll/Logic/Prolog/Examples/ prolog.info/ Maybe there are else useful links? Please share it :-) >>> More
Prolog - ASSERT and RETRACT

as seen on Stack Overflow - Search for 'Stack Overflow'
I was wondering, I am aware you can use assert to add facts or rules or whatever if you have declared the predicate to be -:dynamic, but this only allows the changes that are made to be kept in that session only, e.g. if you close the prolog window then the database changes are lost. So I was wondering… >>> More
Prolog : Simple question

as seen on Stack Overflow - Search for 'Stack Overflow'
I want to add any strings user entered into a list run :- write('How many students you have: '),read(x),nl. enterNameOfStudents(x). enterNameOfStudents(x) :- for(A, 1, x, 1),write('Please enter the names of students'),read(A),??????,nl,fail. What do i put in the ?????? portion to ensure… >>> More
Real world Prolog usage

as seen on Stack Overflow - Search for 'Stack Overflow'
Many study Prolog in college, but I have personally not come in contact with it professionally. The traditional examples given are AI and expert system applications, but what have you used it for and what made Prolog a suitable language for the task? >>> More
Simple question - XSB Prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello! I'm diving into the world of prolog headfirst but I seem to have hit shallow water! I'm looking at database manipulation in prolog with regards to this tutorial:Learn Prolog Now! It states that I can see my database by entering listing So i tried it and it should basically output everything… >>> More

Related posts about swi-prolog

Turning off warnings in swi-prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
How Can I turn off warnings in swi-prolog. Clauses of XXX/AA are not together in the source-file is very annoying. >>> More
flushing database cache in SWI-Prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
We are using swi-prolog to run our testcases. Whenever the test starts, I am opening the connection to MYSQL database and storing the Name of the Test hat is being done and then closing the DB. These tests run for about 2 days continuously. After the tests are done, the results basically gets stored… >>> More
SWI-Prolog tokenize_atom/2 replacement?

as seen on Stack Overflow - Search for 'Stack Overflow'
What I need to do is to break atom to tokens. E. g.: tokenize_string('Hello, World!', L). would unify L=['Hello',',','World','!']. Exactly as tokenize_atom/2 do. But when I try to use tokenize_atom/2 with non-latin letters it fails. Is there any universal replacement or how I can write one? Thanks… >>> More
calling batchfiles or exe's from swi-prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
Is there anyway to do it? Thanks >>> More
SWI-Prolog as an embedded application in VS2008 C++

as seen on Stack Overflow - Search for 'Stack Overflow'
I have a C++ application (prog.sln) which is my main program and I want to use Prolog as an embedded logic server (hanoi.pl) int main(int argc, char** argv) { putenv( "SWI_HOME_DIR=C:\\Program Files\\pl" ); argv[0] = "libpl.dll"; argv[1] = "-x"; argv[2] = "hanoi.pl"; argv[3]… >>> More