Re: variable heads of terms

[Gregory Bourassa]

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
>address@hidden
>http://lists.gnu.org/mailman/listinfo/users-prolog
>