Hi,
PAL is the Protege Axiom Language. You can download it at:
http://protege.stanford.edu/plugins.html
You can ignore it if you do not use PAL.
regards
Andreas Ruetzel
Software Engineer
KIT/ 1557
Sulzer Markets and Technology Ltd
CH-8401 Winterthur, Switzerland
Phone +41 (0)52 262 82 96, Fax +
Ernest,
There appears to be a problem with the (not (exists (XYZ))) pattern.
Here is an example:
(deftemplate processing-state
(slot currentTaskId)
)
(deftemplate task
(slot id)
(slot complete)
)
(deftemplate futureResult
(slot done)
)
(deffacts initial-tasks
(task (id 1) (comp
I think Alan Moore wrote:
[Charset iso-8859-1 unsupported, filtering to ASCII...]
> Ernest,
>
> There appears to be a problem with the (not (exists (XYZ))) pattern.
>
M, you're right. There appears to be a bug in the rule compiler
triggered by odd numbers N of concentric "not" conditional el
Hi all,
This seems like a rather trivial question, but I cannot find a way to print out a
single
fact. I don't want to print out all facts using (facts), I just want to be able to
print
out a single fact with something like (ppfact ). Or even better would be a
recursive function that would pri
I think Nik wrote:
> Hi all,
>
> This seems like a rather trivial question, but I cannot find a way to print out a
>single
> fact. I don't want to print out all facts using (facts), I just want to be able to
>print
> out a single fact with something like (ppfact ). Or even better would be a
>