ChanServ changed the topic of #picolisp to: PicoLisp language | Channel Log: https://irclog.whitequark.org/picolisp/ | Check also http://www.picolisp.com for more information
freeemint has joined #picolisp
orivej has quit [Ping timeout: 245 seconds]
freeemint has quit [Remote host closed the connection]
freeemint has joined #picolisp
freeemint has quit [Read error: Connection reset by peer]
freemint has joined #picolisp
freemint has quit [Ping timeout: 245 seconds]
Regenaxer has quit [Ping timeout: 264 seconds]
freemint has joined #picolisp
freemint has quit [Remote host closed the connection]
freemint has joined #picolisp
freemint has quit [Ping timeout: 264 seconds]
freemint has joined #picolisp
DKordic has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
xkapastel has quit [Quit: Connection closed for inactivity]
Regenaxer has joined #picolisp
ubLIX has joined #picolisp
aw- has joined #picolisp
rob_w has joined #picolisp
<tankf33der> morning
<Regenaxer> Hi tankf33der!
<tankf33der> after 24h of post youtube video with flight simulation watched ~600 times
<Regenaxer> ui :)
aw- has quit [Quit: Leaving.]
aw- has joined #picolisp
ubLIX has quit [Ping timeout: 245 seconds]
freemint has quit [Ping timeout: 250 seconds]
iuno has joined #picolisp
orivej has joined #picolisp
beneroth has joined #picolisp
iuno has quit [Quit: Leaving]
<beneroth> Hi all
<Regenaxer> Hi beneroth!
<beneroth> Regenaxer, pilog question: We want a filter clause which is valid if a property is not set. We use now (not (val)), which works. Initially we used bool/3, but that doesn't work. property is of type +String. is bool/3 intended to only work with +Bool relations?
razzy has quit [Ping timeout: 248 seconds]
<beneroth> from the description in the ref, I understand that bool/3 should be generally usable to test the presence or absence of a property
<beneroth> "Pilog predicate that succeeds if the first argument has the same truth value as the result of applying the get algorithm to the following arguments. "
<Regenaxer> Hmm, go, it tests only if set
<Regenaxer> as other filters too
<Regenaxer> you must do some trickery with 'or' iirc
<beneroth> but the example in the reference is about "# Find orders where the 'ok' flag is not set"
<beneroth> : (? @OK NIL # Find orders where the 'ok' flag is not set
<beneroth> (db nr +Ord @Ord)
<beneroth> @OK=NIL @Ord={3-7}
<beneroth> -> NIL
<beneroth> (bool @OK @Ord ok) )
andyjpb has quit [Ping timeout: 272 seconds]
<beneroth> we tried (doesn't work): (bool @company @Contact company)
<beneroth> works: (not (val @Company @Contact company))
<Regenaxer> Let me check
<beneroth> thanks
<beneroth> no hurry, only if you've got some time
<Regenaxer> seems the comment is wrong in bool/3
<beneroth> I guess the question boils down to the implementation of bool/3, so it gets complex quickly...
<beneroth> so the example is wrong?
<Regenaxer> the comment
<Regenaxer> it boils down to Prolog in general
<beneroth> so it gets tricky quickly :P
<beneroth> so you say: absence does not exist in prolog?
<Regenaxer> right
<Regenaxer> let me check first
<Regenaxer> try to find an example
<Regenaxer> I think this is such a case:
<Regenaxer> (^ @ (or (-> @Da) (not (get (-> @@) 'da))))
<beneroth> yeah
<beneroth> why did you do that in picolisp instead of pilog?
<Regenaxer> I wonder why the comment in bool/3 has "not"
<Regenaxer> I believe it won't work in Pilog
<beneroth> well the example also works like that
<beneroth> (I mean the comment)
<beneroth> the parameter used for comparing is NIL
<Regenaxer> Works like?
<beneroth> the bool example in the ref
<Regenaxer> right
<Regenaxer> strange
<Regenaxer> does it work?
<beneroth> not in my database after adaption
<beneroth> beneroth> we tried (doesn't work): (bool @company @Contact company)
<beneroth> <beneroth> works: (not (val @Company @Contact company))
<beneroth> how horrible is (not (val @Prop @Obj prop)) ?
<Regenaxer> yes, 'not' works, but not 'bool/3'
<Regenaxer> All filter preds return success
<Regenaxer> if the param is NIL
<beneroth> ok
<beneroth> so the example in the reference about bool/3 is definitely wrong
<Regenaxer> yeah
<beneroth> should be rewritten to a positive check
<Regenaxer> Right
<Regenaxer> only positive makes sense
<Regenaxer> I change it
<Regenaxer> Thanks for finding!
<beneroth> and for positive checks bool/3 can be used for any type of relation, not only Bool.. it probably just checks the presence of the property, without looking at the value at all
<beneroth> Thanks for clarification!
<Regenaxer> yes, as all bools in pil
<beneroth> T
iuno has joined #picolisp
yunfan has quit [*.net *.split]
rob_w has quit [*.net *.split]
lodsw has quit [*.net *.split]
inara` has quit [*.net *.split]
michelp has quit [*.net *.split]
yunfan has joined #picolisp
yunfan has quit [Changing host]
yunfan has joined #picolisp
michelp has joined #picolisp
razzy has joined #picolisp
razzy has quit [Changing host]
razzy has joined #picolisp
inara has joined #picolisp
xkapastel has joined #picolisp
lodsw has joined #picolisp
rob_w has joined #picolisp
freemint has joined #picolisp
freemint has quit [Ping timeout: 250 seconds]
freemint has joined #picolisp
andyjpb has joined #picolisp
freemint has quit [Ping timeout: 268 seconds]
Regenaxer has quit [Ping timeout: 264 seconds]
rob_w has quit [Remote host closed the connection]
andyjpb has quit [Ping timeout: 245 seconds]
freemint has joined #picolisp
aw- has quit [Quit: Leaving.]
orivej has quit [Ping timeout: 268 seconds]
karswell has joined #picolisp
orivej has joined #picolisp
razzy has quit [Ping timeout: 268 seconds]
razzy has joined #picolisp
razzy has quit [Changing host]
razzy has joined #picolisp
orivej has quit [Ping timeout: 245 seconds]
beneroth has quit [Quit: Leaving]
orivej has joined #picolisp
freeemint has joined #picolisp
freemint has quit [Ping timeout: 245 seconds]
freeemint has quit [Ping timeout: 264 seconds]
iuno has quit [Quit: Leaving]
mtsd has joined #picolisp
ubLIX has joined #picolisp
lodsw has quit [Ping timeout: 268 seconds]
lodsw has joined #picolisp
mtsd has quit [Ping timeout: 245 seconds]
mtsd has joined #picolisp
mtsd has quit [Client Quit]
karswell has quit [Remote host closed the connection]
karswell has joined #picolisp
karswell has quit [Ping timeout: 258 seconds]
Regenaxer has joined #picolisp
orivej has quit [Ping timeout: 245 seconds]
xkapastel has quit [Quit: Connection closed for inactivity]
orivej has joined #picolisp
ubLIX has quit [Quit: ubLIX]