Script Library: 1213 scripts
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search
 

Discussion posts for script prolog.r

1
grshiplett
6-Jul-2007 18:50
Presently we can assert the same fact multiple times and a goal will 
return more than once for a single logical 'fact' (duplicate solutions 
with identical atoms in the same relation)


That a relation among atoms is satisfiable because asserted should 
be a single fact if it is a base fact ( someone can say if that is 
Codd/Date Normal form 1 or 2 or whatever for a db relation )

Or no?


I am going to modify assert to prevent this in my local copy and 
see how I do ( no, I am not a prolog purist ... far from it ;-)


To test this, simple assert a knowledge base then reassert it without 
first re-setting the base to none. Simple goals that returned one 
relation will now return 2


Under Rebol3 we should be able to create a u-def data-type of logicbase! 
where a logic-block will behave more like a set than a bag and more 
like an ordered-tuple than an array and do smart 
   join base1 base2


Did you decide not to use object! in favor of a simple block! for 
some particular reason?

robert

Notes