Re: Fwd: meta predicate call
Feliks Kluzniak <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
In SWI-Prolog the "yes" is not written if the top level shows variable instantiations. Try, for example, ?- X = a. -- F. On Aug 29, 2013, at 20:55, Josef Frydl <[email protected]> wrote: > BProlog > Last login: Thu Aug 29 14:48:48 on ttys000 > /Users/joseffrydl/BProlog/bp ; exit; > You have mail. > Macintosh:~ joseffrydl$ /Users/joseffrydl/BProlog/bp ; exit; > B-Prolog Version 7.8#5, All rights reserved, (C) Afany Software 1994-2013. > > Type 'help' for usage. > | ?- F =..[is_list,[1,2,3]],call(F). > F = is_list([1,2,3]) > yes > | ?- > > > Begin forwarded message: > >> From: Josef Frydl <[email protected]> >> Date: August 29, 2013 2:50:49 PM EDT >> To: [email protected] >> Subject: meta predicate call >> >> Please help see this >> >> % /Users/joseffrydl/.plrc compiled 0.00 sec, 1 clauses >> Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 6.3.17) >> Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam >> SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, >> and you are welcome to redistribute it under certain conditions. >> Please visit http://www.swi-prolog.org for details. >> >> For help, use ?- help(Topic). or ?- apropos(Word). >> >> ?- F =..[is_list,[1,2,3]],call(F). >> F = is_list([1, 2, 3]). >> >> ?- >> why F is not executed >> >> Thanks Josef Frydl > > -------------- next part -------------- > HTML attachment scrubbed and removed > _______________________________________________ > SWI-Prolog mailing list > [email protected] > https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog