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
>
_______________________________________________
Users-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/users-prolog
