diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@961 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rslopes 2004-01-26 10:44:13 +00:00
parent b1bb83be19
commit d4616d2f06
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/yap.tex
View File

@ -13348,7 +13348,7 @@ int
main(int argc, char *argv[]) @{ main(int argc, char *argv[]) @{
if (YAP_FastInit("saved_state") == YAP_BOOT_FROM_SAVED_ERROR) if (YAP_FastInit("saved_state") == YAP_BOOT_FROM_SAVED_ERROR)
exit(1); exit(1);
if (YAP_RunGoal(YAP_MkAtomTerm(LookupAtom("do")))) @{ if (YAP_RunGoal(YAP_MkAtomTerm(YAP_LookupAtom("do")))) @{
printf("Success\n"); printf("Success\n");
while (YAP_RestartGoal()) while (YAP_RestartGoal())
printf("Success\n"); printf("Success\n");
@ -13365,7 +13365,7 @@ backtracking succeeds, the second it fails and exits.
To compile this program it should be sufficient to do: To compile this program it should be sufficient to do:
@example @example
cc -o exem -I../Yap4.3.0 test.c -lyap -lreadline -lm cc -o exem -I../Yap4.3.0 test.c -lYap -lreadline -lm
@end example @end example
You may need to adjust the libraries and library paths depending on the You may need to adjust the libraries and library paths depending on the