search

quek / paiprolog

forked Christophe Rhodes's PAIProlog that an update of Peter Norvig's "Prolog in Common Lisp".
Other
18 stars 6 forks source link

retract with variable as part of the clause #1

Open Guthur opened 12 years ago

Guthur commented 12 years ago

Hi,

I think the following should result in the predicate being removed...

(<- (some-pred a-value)) (?- (some-pred ?x)) ?X = A-VALUE

(?- (retract (some-pred ?x)) ?X = ?1 (?- (some-pred ?x)) ?X = A-VALUE

Any ideas?

Cheers,

quek commented 11 years ago

Sorry, I have no ideas.