Prolog Assigning integer to a variable -


I am new to Prol, and I am using GNU prol, so no clip (FD) is permitted. Whatever I'm trying to do, is for an integer n, make a list with elements of 1 ~ n. Set (3, T). Production T = [1,2,3] Even so far away from me: 

  set (0, []). Set (N, T): - Set (N-1, T1), (T1, [N], T).   
 When I try Set (2, T), it crashes. I was debugged with a trace and found out that it is not evaluating N-1 but it is doing N -1-1-1 ...  
 Anyone can tell me that How to solve this? Thank you.   
 
 
 should be:  
  set (n, t): - N2N1, set (N2, T1), append (T1, [N], T).   
 Arithmetic operations are done using the  is / 2 . There is a cloak for  N-1 ,  - (N, 1)  (like  N2 is N-1   is the short story (N2, N-1) ), then you were just making the infinite tree  - (- (- (- (... (1), 1,1,1)   
  A little educational note:   
 If you want to have a  set / 2  for a proper connection, then it's like  Can answer the questions set (3, x) ,  set (x, [1,2,3]) and  set (x, y)  Without error, you should write this way:  
  set (0, []). Net (value, list): - Length (list, value), attachment (shortlist, [value], list), ValueMinusOne value -1, set (valiuminson, shorter list).   
 This is always possible to achieve the result of arithmetic operations in this way because the input value (length of the list) is either explicitly given or  length / 1 .   < / Html>

Comments

Post a Comment

Popular posts from this blog

Java - Error: no suitable method found for add(int, java.lang.String) -

I'm in the middle of homework work and I'm stuck. At this point in my code, I think that I should have a GUI window that opens and allows me to type "inserted text number". Notice is not going anywhere but at this point, If I pass through the problem then it will be in a linked list. I am getting two of the same error for the lines. Add (index, element); And I can not seem to get past it, there is no suitable method for the error "add (int, java. string string)". Code is below, please advise. To clarify - this will not be a method error because it is a linked list. There should not be any way involved. import java.awt. *; Import java.awt.event. *; Import javax.swing. *; Import java.util. *; Import java.util.Scanner; Import java.util.LinkedList; Public class TopTenList JFrame {Private TopTenList tt; See the Private JTextArea list; Private JTextField cmdTextField; Private JTextField resultsTestfield; // This GUI window is the code for the public toptist...
Read more

java - JPA TypedQuery: Parameter value element did not match expected type -

I am using JPA 2.0 and getting the following code in the DAO layer: Public Zero Test () {string key = "status"; String [] Conditions = {"A", "B"}; & Lt; TestTable & gt; Results = Search (Keys, Conditions); } Public listing & lt; TestTable & gt; Search (string key, object value error) {string sql = "test ndf to testlet and jade nand." + Key + "in:" + key; TypedQuery & LT; TestTable & gt; Query = entityManager.createQuery (SQL, TestTable.class); Query.setParameter (key, Arrays.asList (valueArr)) / *** Error Line *** Return query.getResultList (); } In the above error line, it throws the following exception: java.lang.IllegalArgumentException: parameter value element [[Ljava.lang.String; @ cbe5bc] did not match the expected type [java.lang.String] Why is this expected type string while actually this string []? Please help! Note: This is derived from the normal routine and is a simplified code. I can no...
Read more

c++ - static template member variable has internal linkage but is not defined -

Yes, I know, there is a question with almost the same title, but it refers to a different situation. Error message) In my case, I have a .cpp file with a big named designation name (implementation details). There is a property class template with a static data member in that name space, which I need to access from outside the unknown namespace. I give it a little bit of meat: file.hpp namespace Bar {template & lt; Typename A & gt; Struct foo {static_assert (is_same & lt; a, float & gt; :: value} is_same & lt; a, double>: value, ""); Fixed zero set_static_var (a const & x); // ...}; } and file.cpp namespace {template & lt; Typename A & gt; Struct foo_traits {// supports the implementation of several static code bars: foo & lt; & Gt; Fixed A data; }; The template's & lt; & Gt; Float foo_traits & lt; Float & gt; :: datum; // No change if this is in the global namespace template & lt; & Gt; Doub...
Read more