Re: variable heads of terms
Cliff Bender <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <[email protected]> |
Everyone, It works! Thank you for your prompt help! I appreciate it very much. Thank you again, CB On 2/14/06, Gregory Bourassa <[email protected]> wrote: > Cliff, > > I think you are looking for something like the "univ" operator of the > form: > > Term =.. List > > example: > > Term =.. [reads,tom,book] > > after which Term is bound to reads(tom,book). > > It can both compose and decompose terms. > > Regards. > > Gregory Bourassa > > On Tue, 14 Feb 2006 12:13:54 -0500, Cliff Bender wrote: > > >Hello > > > >I'd like to be able to do something like the following: > > > >X=reads, FACT=X(tom,book). > > > >is there anything that will allow me to do this? Unfortunately, the > >previous code gives the following error: > > > >| ?- X=reads, FACT=X(tom,book). > >uncaught exception: error(syntax_error('user_input:12 (char:16) . or > >operator expected after expression'),read_term/3) > > > >Thanks for any help you can provide! > > > >CB > > > > > >_______________________________________________ > >Users-prolog mailing list > >[email protected] > >http://lists.gnu.org/mailman/listinfo/users-prolog > > > > >