freenode/#lisp - IRC Chatlog
Search
2:32:59
dbotton
Poplog Prolog was used to develop the original version of the SPARK toolkit by Praxis Systems, though they now use Sicstus Prolog, as that has features not in Poplog Prolog.
2:34:00
no-defun-allowed
ACL2 is written in Common Lisp, but it verifies a sort of first order logic with numbers and lists.
2:35:27
no-defun-allowed
If that returns a generalised boolean, you should treat it as such. So it only would return true.
2:36:15
no-defun-allowed
"The consequences are undefined if the values yielded by the form are not of the type specified by value-type."
2:46:24
dbotton
On ecl does "the" have any purpose beyond indicating the intent of the return value to human readers?
13:33:53
pve
Hi! I would like to give instances of my generic function class a default "function". Is the correct place to do this in "initialize-instance :after ((gf my-gf-class) ... " using set-funcallable-instance-function?
13:46:28
jackdaniel
so when you add /first/ method and /second/ method, and remove /first/ method.. :-)
13:46:32
phoe
sounds like you either need a general case for 0 methods or that you need to handle both cases, namely, in some sort of initialization code and then in your remove-method
13:47:26
pve
phoe: exactly, I only asked because I'm having some problems getting it to work using initialize-instance :after
13:49:48
pve
Bike: hmm actually if I replace the default function with something simple like (print 'hello) it does work.. so the problem is most likely elsewhere
13:52:40
pve
the point of this is to improve my "does-not-understand" functionality which uses no-applicable-method, but it only seems to work when the gf has at least one method
13:58:40
obnoxious_glenda
ugh, someone in #programming called lisp a broken toy left in the trash, leaving its stench off for ages
14:00:30
jackdaniel
well, that description comes nice with "lisp is not dead, it just smells funny" :)
14:10:22
Demosthenex
ok, so i'm using clsql with sqlite, and trying to use the s expression based sql queries. i'm translating over some sql with subqueries, ie: select * from table1, (select * from tables2...) as subtable ... and can't see how clsql supports subqueries?