Wikipedia:Articles for deletion/ALF (programming language): Difference between revisions

Revision as of 02:12, 13 June 2007

Latest revision as of 10:45, 25 May 2022

(20 intermediate revisions by 11 users not shown)

Line 1:

<div class="boilerplate metadata afd vfd xfd-closed" style="background-color: #F3F9FF; margin: 2em 0 0 0; padding: 0 10px 0 10px; border: 1px solid #AAAAAA;">

:''The following discussion is an archived debate of the proposed deletion of the article below. <span style="color:red">'''Please do not modify it.'''</span> Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a [[Wikipedia:Deletion review|deletion review]]). No further edits should be made to this page. ''

<!--Template:Afd top

Note: If you are seeing this page as a result of an attempt to re-nominate an article for deletion, you must manually edit the AfD nomination links in order to create a new discussion page using the name format of [[Wikipedia:Articles for deletion/PAGENAME (2nd nomination)]]. When you create the new discussion page, please provide a link to this old discussion in your nomination. -->

The result was <s>'''delete'''. [[User:Yamamoto_Ichiro|Yamamoto Ichiro]] <small>(山本一郎)([[User talk:Yamamoto Ichiro|会話]])</small> 04:41, 20 June 2007 (UTC)</s> upon further examination, the result is '''no consensus, defaulting to keep'''. [[User:Yamamoto_Ichiro|Yamamoto Ichiro]] <small>(山本一郎)([[User talk:Yamamoto Ichiro|会話]])</small> 16:30, 20 June 2007 (UTC)

===[[ALF (programming language)]]===

{{REMOVE THIS TEMPLATE WHEN CLOSING THIS AfD|T}}

:{{la|ALF (programming language)}} – <includeonly>([[Wikipedia:Articles for deletion/ALF (programming language)|View AfD]])</includeonly><noinclude>([[Wikipedia:Articles for deletion/Log/2007 June 12#{{anchorencode:ALF (programming language)}}|View log]])</noinclude>

No mention of its notability. The only results I can find via google are this page, the answers.com version of this page and the linked author's page. Delete it as non-notable. [[User:Localzuk|Localzuk]]^{[[User talk:Localzuk|(talk)]]} 14:51, 12 June 2007 (UTC)

*'''Delete''' nn. [[User:JJL|JJL]] 17:19, 12 June 2007 (UTC)

*'''Delete''', non-notable, and no sources. <span style="font-family: Berlin Sans FB Demi; font-size: 10pt">[[User:Cremepuff222|<fontspan colorstyle="color:#000000;">*Cremepuff</fontspan>]][[User talk:Cremepuff222|<fontspan colorstyle="color:#696969;">222*</fontspan>]]</span> 21:21, 12 June 2007 (UTC)

*'''Strong keep'''. Notable topic in computer science. Appears in at least [http://hopl.murdoch.edu.au/showlanguage.prx?exp=1804&name=ALF eight published papers] and in [http://books.google.com/books?q=functional+logic+ALF&btnG=Search+Books dozens of books]. Preponderance of reliable sources is unquestionable. It issis currently listed at the [http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/fp_lp/alf/0.html CMU Artificial Intelligence Repository]. Topic is discussed in the 2002 book, ''[http://books.google.com/books?id=U32ex75XhOAC&dq Knowledge Media in Healthcare]'', ISBN 1930708130, as well as the 1995 publication, ''[http://books.google.com/books?id=sXqhQZAEisoC&dq Intelligent Agents]'', ISBN 3540588558, and the 1997 publication by MIT Press, ''[http://books.google.com/books?id=hk14AMQGVSAC&dq Logic Programming]'', ISBN 0262631806. Boley calls ALF a "typical current proposal in the field of extended, declarative programming" and describes it a 1999 publication entitled, ''[http://books.google.com/books?id=OMwACkP_25gC&vq A Tight, Practical Integration of Relations and Functions]'', ISBN 3540666443. Also discussed in Thompson, Simon. (1997). ''[http://www.cs.kent.ac.uk/pubs/1997/201/index.html Constructive interval temporal logic in Alf]''. In International Conference on Temporal Logic .Applied Logic. Kluwer, Hanus; also M. and A. Schwab. (1991). ''The Implementation of the Functional-Logic Language ALF''. FB Informatik, Univ. Dortmund. &mdash;[[User:Viriditas|Viriditas]] | [[User talk:Viriditas|Talk]] 01:54, 13 June 2007 (UTC)

*'''Delete'''. I've read elsewhere that people have been having trouble finding third-party sources for this. [[User:SlimVirgin|SlimVirgin]] [[User_talk:SlimVirgin|^{<font colorstyle="Purplecolor:purple;">[[User_talk:SlimVirgin|(talk)]]</font>}]] 01:57, 13 June 2007 (UTC)

*'''Delete'''. Can't find any reliable sources showing notability as a real language. There are lots of created languages that get written up in some obscure paper, and the language is never actually used for any real projects. [[User:Crum375|Crum375]] 02:06, 13 June 2007 (UTC)

*'''Delete''' - published papers cited above are all by the creator of the language. The books linked all appear to be conference proceedings: probably with reprints of papers by the creator. The other claims are more difficult to verify but at the moment independent sources appear to be missing. -- [[User:Bpmullins|BPMullins]] | [[User talk:BPmullins|Talk]] 02:27, 13 June 2007 (UTC)

*'''Keep'''. Google scholar lists ~120 [http://scholar.google.com/scholar?q=functional-logic+alf papers related in some way to ALF]. Many of these are trivial mentions but [http://scholar.google.com/scholar?num=20&hl=en&lr=&safe=off&cluster=15504922400856969496 Compiling Logic Programs with Equality] (one of Hanus' papers) is not and has 71 citations. Another of Hanus' ALF papers, [http://scholar.google.com/scholar?num=20&hl=en&lr=&safe=off&cluster=17824576622617000993 Improving Control of Logic Programs by Using Functional Logic Languages], has an additional 29 citations. These are not amazing cite numbers but they're pretty good; enough, I think, to establish notability. —[[User:David Eppstein|David Eppstein]] 07:10, 13 June 2007 (UTC)

**'''Comment''' Is there any reason to believe that these are ALF-related citations? The term 'ALF' doesn't appear in the titles of the papers, so the references to it could be passing. [[User:JJL|JJL]] 13:23, 13 June 2007 (UTC)

***You mean the two I singled out? Yes, there is a reason, but you have to take the effort to actually look at the papers and not just the titles. Many of the results on the ALF search just include it in lists of logic languages (that's what I meant about trivial mentions) but these two articles are about how certain logic programming issues can be handled in ALF specifically. —[[User:David Eppstein|David Eppstein]] 15:50, 13 June 2007 (UTC)

*<small>'''Note''': This debate has been included in the [[Wikipedia:WikiProject Deletion sorting/Science|list of Science-related deletions]]. </small> <small>-- [[User:Jayvdb|John Vandenberg]] 10:18, 13 June 2007 (UTC)</small>

* '''Keep''' - notable language for IT/CS geeks. Yes, the article needs references and citations, but that's a re-write issue, not a deletion issue. - [[User:NDCompuGeek|NDCompuGeek]] 15:07, 13 June 2007 (UTC)

*'''Comment''': the current text is horrible technobabble and much less useful than the other pages about computer languages. [[User:Pavel Vozenilek|Pavel Vozenilek]] 15:26, 14 June 2007 (UTC)

*'''Delete''': ALF is not notable. All 8 references cited above are written by the same person, the language's creator, and they discuss various computer science topics in the context of his pet language. As interesting to the average computer geek as ALF may be (hey I even downloaded it), Wikipedia is not a compendium of every computer language ever thought up. --[[User:Jquarry|Jquarry]] 05:12, 15 June 2007 (UTC)

*:Could you clarify that; [http://scholar.google.com/scholar?q=functional-logic+alf this list] includes 120, and they dont appear to be trivial or all written by the same person. [[User:Jayvdb|John Vandenberg]] 05:33, 15 June 2007 (UTC)

:''The above discussion is preserved as an archive of the debate. <span style="color:red">'''Please do not modify it.'''</span> Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a [[Wikipedia:Deletion review|deletion review]]). No further edits should be made to this page.'' <!--Template:Afd bottom--></div>