|
osdir.com mailing list archive |
|
Subject: Re: safety properties - msg#00065List: ai.prolog.swiOn Nov 9, 2004, at 10:09 PM, Asad Sayeed wrote: On Tue, 9 Nov 2004, Fred Mesnard wrote: a) adapt TCLP for typing SWI-Prolog b) provide types for the libraries of SWI-Prolog c) rewrite TCLP so it can be compiled by SWI-Prolog I proposed this to the course professor and he is most interested in (a), but wonders what is different about SWI-Prolog from other Prologs that would make it a significant project to alter TCLP to produce type analyses for it. Asad: - how many hours can you allow to this project? - when should you finish this project? Emmanuel: - can you please give your point of view on the question Asad's professor worries about? Do you think that b) should be also part of the subject? BTW, it was one of a bunch of projects we proposed to our 4th year CS students. Apparently, nobody was really interested in. However, it happens that all the web-related projects are now taken ... So maybe two late students will work on this project (their second choice) or something related (eg typing some other Prolog libraries or point c above) Here's the plan: they begin in january 05, stop by the end of may 05, and they'll have2 full months to work on the project. So let's try to coordinate our works! Best regards, Fred FWIW: an updated tool to document Prolog code: http://prologdoc.sourceforge.net/ ------------ For further info, please visit http://www.swi-prolog.org/ To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>" in its body to majordomo@xxxxxxxxxxxxxx Thread at a glance:
Previous Message by Date: click to view message previewRe: Your documentWARNING: This e-mail has been altered by the MIMEDefang filter. For more information see http://www.ic.uva.nl/virus A known virus was discovered and deleted. Een virus was gevonden en verwijderd: Found the W32/Netsky.p@MM!zip virus !!! Your document is attached. +++ Attachment: No Virus found +++ Kaspersky AntiVirus - www.kaspersky.com Next Message by Date: click to view message previewlinkval vs setval, diff?Hi, I would like to implement an array in global variables that will be used to verify looping. On every iteration I would like to add to the array a list of terms if they do not already exist, otherwise the predicate fails. An additional note is that the list of terms may contain delayed goals (using dif/2). I looked at the documentation and re-read Jan's examples about "nb_setval" and "nb_linkval" and am confused. I don't understand how backtracking differs in these 2 terms. The documentation "demo" did not help either (BTW what does a trailed assignment mean?). Can anyone give an example or explain this? TIA, Hugo Ferreira. ------------ For further info, please visit http://www.swi-prolog.org/ To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>" in its body to majordomo@xxxxxxxxxxxxxx Previous Message by Thread: click to view message previewAccessing parameters in debuggerI was thinking, there ought to be some XPCE way we can acccess the parameters which the debugger displays. I mean to do so by entering some expression using the "?-" button which queries what XPCE is displaying. How can I do it? ------------ For further info, please visit http://www.swi-prolog.org/ To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>" in its body to majordomo@xxxxxxxxxxxxxx Next Message by Thread: click to view message previewRe: RequestWARNING: This e-mail has been altered by the MIMEDefang filter. For more information see http://www.ic.uva.nl/virus A known virus was discovered and deleted. Een virus was gevonden en verwijderd: Found the W32/Netsky.p@MM virus !!! Thank you for your request, your details are attached! Loading Comments...
|
|
