Neil Madden

type sort icontitleauthorlast post
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
Forum topicWhat would be involved in moving logic beyond FOL? Charles Stewart2017-07-14 15:18
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
Forum topicLogic Production Systems (LPS) Neil Madden2017-03-27 18:13
Forum topicLooking for references on the expressiveness and computational completeness of a relational programming language davidb2016-09-08 06:02
Forum topicViability of a static type system (like ML) for a relational language? mamcx2016-08-29 22:50
Forum topicRe-thinking Prolog Alex12014-09-24 11:21
StoryApple Introduces Swift bashyal2014-08-21 17:54
Forum topicArtificial Intelligence Ivan Vodišek2014-06-25 12:51
Forum topicF# compiler, library and tools now open for community contribution Charles Torre2014-04-15 21:21
StoryGilad Is Right Erik Meijer2014-03-23 13:38
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
Forum topicMost web developers prefer dynamic languages Henri Binsztok2012-10-08 22:31
Forum topicWhy prolog is by far the best, most productive, easiest programming language marshallp2012-08-23 03:24
Forum topicRetrospective Thoughts on BitC raould2012-04-18 16:43
StoryJulia, a language for technical computing Manuel J. Simoni2012-03-12 02:05
Forum topicwhy first-class functions ad1mt2012-03-02 13:33
Forum topicActive Variables in Common Lisp kruhft2012-02-08 18:02
Forum topicGo's proposed panic/recover exception-like mechanism pgregory2012-01-07 01:57
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
StoryA bit of Scheming Ehud Lamm2011-12-01 13:44
StoryOpa Ehud Lamm2011-10-28 01:42
Forum topicWhat space does SQL cover, or, why is max so weird in SQL? bdenckla2011-10-26 20:00
Forum topicElephants don't play chess Sean McDirmid2011-05-01 20:24
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06