Script Library: 1236 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

2
hithyshi
14-Jul-2020 11:08
Hello
3
liammorn
22-Dec-2020 10:38

This is surprisingly working still. https://www.6ixmedia.io/

4
luhfesha
22-Dec-2020 11:49
Edited:
luhfesha
22-Dec-2020 11:53

YEs, it is still working | https://www.bootsandbeauty.com

5
alisha986
2-Feb 1:58

If you are going to really go for escort's services them Jodhpur call girls are the very best and ideal alternatives for the clients where your needs are entirely fulfilled and additionally you get fully relaxed and worry free.

https://www.simranroy.co.in/jodhpur-escorts-services.html

Notes