[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
variable heads of terms
From: |
Cliff Bender |
Subject: |
variable heads of terms |
Date: |
Tue, 14 Feb 2006 12:13:54 -0500 |
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
- variable heads of terms,
Cliff Bender <=