mclumd / alma-2.0 Goto Github PK

Running alma with these two statements, only one will end up in the knowledge base. If one of the ross is changed to something else (rosadsf), they both show up.

fif(and(hearing(julia),proc(learned(not(talking),A),bound)),conclusion(ros(speak()))).
fif(and(hearing(julia),proc(learned(not(talking),A),bound)),conclusion(ros(raise_arm()))).

This:

fif(and(usually(X,Y),and(X,proc(neg_int(not(Y)),bound(Y)))),conclusion(Y)).
usually(bird(A),fly(A)).
bird(swallow).

Becomes this in the KB:

0: usually(X0, Y1) /\ X /\ proc(neg_int(not(Y1)), bound(Y1)) -f-> Y
2: usually(bird(A2), fly(A2))
6: bird(swallow)

so it doesn't derive. Why do the variables not bind like they do in proc-test.pl?

When all preconditions are met for a proc, alma will print Idling... even though if it gets stepped again, it will make a new conclusion from the proc.

Example:
fif(and(hearing(julia),proc(learned(not(talking),A),bound)),conclusion(ros(speak()))).