successor arithmetics - What are the steps that Prolog follows with the definition of natural numbers? -

-

I am learning how to program in prologue and I got the next program that defines natural numbers and their amount: / p> 

  yoga (succ (x), y, succ (jade)): - zodiac (x, y, z). Amount (0, X, X)? - Yoga (succ (succ (0)), succ (succ (succ (0)), answer). Answer = succ (succ (succ (succ (succ (succ (succ (0)))   
 (found)  
 The problem is that I struggled with execution I do not know what this does for the flow of this program. How can Prolog find the value of the answer?  
 
   
 
 It helps to understand how Prolog works to detect a current masterpiece, or when someone makes a new design when you make a query like :    sum (succ (succ (0)), succ (succ (succ (0)), answer).   
 Prolog facts and rules  sum (_ , _, _)  ( sum / 3 ) and select first a match in which the rules are in place:  
  (1) Yoga (succ (x), y, succ (z)): - zodiac (x, y, z). (2) zodiac (0, x, x).   
 If you look at the query, then it clearly matches the pattern of rule # 1. Remember that in Prologue, a variable can be started for any type of term, and A Are integrated variable names (immediately) for the same price. When Prong unites the "head" of # 1 with the query, it does by uniting the variable as follows:  
  x = succ (0) y = succ (succ (succ ( 0 (A) Answer = Suk (Z)   
 Note that the  answer  value  succ (Z)  even if  Z  has not been compelled (a solid value has been assigned) So far, we now follow the rule, which will query  yoga (x, y, z)  which That would be the query:  
  sum (succ (0), succ (succ (succ (0)), z) | one SZZ   
 The prolol will now start at the top because it is a new query for  sum / 3  like the first time, it rules with the following triggers Matches # 1:  
  X = 0 Y = succ (succ (succ (0))) (B) Z = succ (Z ')   
 I'm using it at   Z  to differentiate it from  sum (succ (0)), Succ ( above) succ (succ (0)), z , because it is different from the one used in the head for  sum (..., su) (su) (z)) < / code>. It looks like there is a function in C, which is declared as  int f (x) {return 2 * x; }  and you call it from somewhere other local variables  x , that name is used in two different places and two different - represents different variables).  
 Then we can follow the next recursive query,  sum (x, y, z ')  again, that becomes:  
  Sum (0, succ (succ (succ (0)), z ') | | | XYZ '  
 This recurring query does not match the rule # 1 because the first argument,  0 ,  does not match succ (X) . However, this rule matches the # 2:  
  0 = 0x = succ (succ (succ (0))) (c) x = z '  
 now  X = succ (succ (succ (0)))  hence  Z '= succ (succ (succ (0))) . Since there is no other question within this rule, it is finally successful from the place where the inquiry was done. Return it back to (B):  
  Z = succ (Z ') = succ (succ (succ (succ (0))))   < p> and return it to (a) back:  
  answer = succ (Z) = succ (succ (succ (succ (0)))))   
 And there you have it. Using @ Code> trace, you can see these steps in Prol Interpreter and immediately follow the variable.

Comments

Post a Comment

Popular posts from this blog

python - Writing Greek in matplotlib labels, titles -

-
Image
I'm trying to write some text for labels, shape titles etc. with my plots, but no benefit till now Has not happened . I do not want to print specific characters (I know how to use special characters), I want to write the entire text in Greek (maybe Unicode and text ' ?). , suggesting that I would like to mention that for some reason I can not get matplotlib to cooperate with Tex (using IPython notebook from Anaconda in Ubuntu 14.10) so that there really is an option Will not be the first. I tried loading the Arial font and it loads successfully but again I get square blocks instead of characters. I import matplotlib.font_manager FM PROP = FM Font Properties (fname = '/ usr / share / fonts / truetype / msttcorefonts / Arial.ttf') And then to display the string I u'Î? ? I ?? Î¿Ï ?? ÎμÎ »second ?? μΠ± i ?? I ± i ?? I ?? Used ο किया? ? Î¿Î¼Î¿Î¯Ï ?? I ?? I · I ?? ' . Ariel is considered to be fully presented to Greek and I have used it many times ...
Read more

c# - LINQ to Entities does not recognize the method 'Int32 IndexOf(System.String, System.StringComparison)' method -

-
I have performed a linq query using Entityframework as below GroupMaster getGroup = Null; GetGroup = DataContext.Groups.FirstOrDefault (item = & gt; keyword.IndexOf (item.Keywords, StringComparison.OrdinalIgnoreCase)> = 0 & amp; amp; item.ISNAmd) I found an exception like the method when executing it LINQ units do not recognize the 'Inter 32 index of (system string, system. String compromise)' method, and This method can not be translated to Store expression. Includes () method is sensitive by default, then I need to convert to minimize. Is there any method in which a string match match is examined and whether there is any method to solve the index question of the method? You actually have four options Databases globally Change the colon of it can be done in many ways, a simple Google search should reveal to them. Change the mix of individual tables or columns. Use a stored procedure and specify the call statement on your query Perform...
Read more

Pygame memory leak with transform.flip -

-
Today I came across an interesting issue which, by writing a small side scroller, instead of a sprite sheet, I was planning to use because I lacked a good "packer" for making phantom sheets (and honestly with patience and passion as it is only a test project). Anyway, I showed the animation running on the right of 8 PNG (with transparency). I considered it a good idea to prepare the flipped images to run on the left in the consultant, and the frame is not framed when the game is running (Flip actually consumes a lot of CPU like I Was measured). > To get access to the loop, I get the memory leak self.move_l = [# 8 PNG images with transparency to the right] For the self in IMG. Move_l: self.move_r.append (pygame.transform.flip (img, true, false) error traceback: traceback (most recent Call final): The file "D: \ Python 34 \ _Projects \ efg \ efg.py", in line 196, in the & lt; module & gt; main = master program ((1024, 680)) "D: \ Python ...
Read more