prolog - Stop recursion when variable is reached -

-

I have a program with searches for something and it has not been found every time, it increases a variable by 1 is. If it never detects what the user is searching for, he will always search for it. Can I stop doing so, if any particular variable has reached? This is the Victkit that searches for: 

 % ----------------------------- - ---------------------------------------% address (X, Y, N): - ... Search for% (X, Y, N): - ... if not found, increment n 1 and repeat it again% ------------------ -------------------------------------------------- - Address (Y, I, G): - Member (Y, I), G. Find (Y, I, G): - Find (Member (Y, I)), Extension (I, O), Find (Y, O, G1), GG1 + 1 Find (Y, I, 50 ): - Failure

Then I have to write something 

  Find (X, Y, 50): - Return false

So that the program returns to false, if it is not found after 50 iterations. How do I know this?

Edit: This is my code:

vwg (x, y, g) searching that two person x and for example G-grade Is related to: 

  vwg (vanessaMueller, selinaMueller, 1)

The truth is, Vanesses Mueller is her mother

If you always have the third argument (recurrence number) bound, then you can simply count down. Once you hit zero, you have failed:

Find (Y, I, G): -% Integer (G),% G & gt; 0,% If we have not yet zeroed in, then the member (Y, I),% see that we can get in Y! . % And eliminate any options. Find (Y, I, G): -% integer (g),% apply the contract that should be bound to G & gt; 0,% If we have not yet zeroed to G1, then G -1,% decreases the expansion of G (I, I1),% expansion I find (Y, I1, G1)% and revised below. %

Note that the initial requirement for the requirement above find / 3 is bound to its third argument integer is.

Instead, instead of defining your limit to return , (and instead of using a hard-coded limit instead) So you find an accumulator with a helper: 

  Find (Y, I, G): - Find (Y, I, 1, G). Find (Y, I, G, G): - G = & lt; 50,% If we have not crossed the boundary member (Y, I) so far, then we can meet in Y! . % And options are over (Y, I, T, G): -% T & lt; 50,% If we are below the threshold, then T1, T + 1, expansion of container (I, I1)% increase,% extension (Y, I1, T1, G) % easy!

Or you can pass another argument in the range and get a recurring calculation on success: 

  find (Y, I, n , G): - Find (Y, I, N, 1, G). Find (Y, I, N, G, G): - G = & lt; N, Member (Y, I),! . Find (Y, I, N, T, G): - T & LT; Find N, T1 T + 1, Extension (I, I1), (Y, I1, N, T1, G).

There is more than one way to do this.


Comments

Post a Comment

Popular posts from this blog

java - org.apache.http.ProtocolException: Target host is not specified -

-
I have written a simple httprequest / response code and I am getting this error below: I used to type in my classpath httpclient, httpcore, common -Codecs and general logging. I am very new to Java and I do not know what's going on here. Please help me. code: import org.apache.http.client.HttpClient; Import org.apache.http.client.methods.HttpGet; Import org.apache.http.HttpResponse; Import org.apache.http.impl.client.HttpClientBuilder; Import org.apache.http.Header; Import org.apache.http.HttpHeaders; Public class UnshorteningUrl {public static zero main (string [] args throws exception {HttpGet request = zero; HTTP Client Client = HTTP ClientBuilder.credit (). Build (); Try {Request = New HTTP Gate ("trib.me/1lBFzSi"); HttpResponse httpResponse = client.execute (request); Header [] header = httpResponse.getHeaders (HttpHeaders.LOCATION); // Preconditions.checkState (headers.length == 1); String new url = header [0] .getValue (); System.out.println ("new url...
Read more

How to access user directory in lazarus? -

-
After I am trying to open file changelog.txt and it does not matter if I open it Need to have the user open it though it is always located in the ~ / directory. Enter the file here. Here is my code: Process TForm1.FormCreate (From: TObject); Var myFile: textfile; Line: String; Start AssignFile (myFile, '~ / changelog.txt'); Reset (myFile); While EOF (MyFile) does not readLn (myFile, Line); Label3.Caption: = (Label3.Capttion + Line + # 13 # 10); End; CloseFile (myFile); End; This does not work, however, if I replace ~ with the actual user name, then it works, however, I use the username of each user Can not know which will run my program. Any idea how can I get the username that started the program? ! Thanks Edit1: I have tried this, but this also includes a new line: RunCommand ('/ bin / bash', ['- - C ',' Whoami '], users); This is normal. The concept of "~" is an shell level and thus requires a separate shell elev...
Read more

java - Gradle dependencies: compile project by relative path -

-
Is it possible to specify a dependency on another gradeal project in the granular (in android studios) outside the current project limits? For example, with a relative path like this: dependence {collection project ('../../ stdlib / dagger'}} MyApp (path / user / foo / workspace / mypad) The app (Path / User / Foo / Workspace / MyPass / App) And I have an Android Library Project with 3 subdomules: stdlib (path is / user / foo / Utilities (Path / User / Foo / Workspace / Stadlib / Utilis) http (Path / User / Foo / Workspace / Stadlib / HT) / Li> What I have to do is compile the Dagger, Util, http module in the MyApp project. The Stidelib Library module under heavy development And MyApp will grow in the form of Growth, so I do not want to push them into a Mewen repository. I am a little change. is likely to add another Gredle projects in some way? I will push the study library into the Maven repository after the source is in search of a temp...
Read more