https://www.bibsonomy.org/user/fsteeg/prologBibSonomy RSS Feed for /user/fsteeg/prologhttp://sewiki.iai.uni-bonn.de/research/pdt/startfsteeg2010-01-06T02:03:49+01:00eclipse prolog <a itemprop="url" data-versiondate="2010-01-06T02:03:49+01:00" href="http://sewiki.iai.uni-bonn.de/research/pdt/start" rel="nofollow" class="description-link">http://sewiki.iai.uni-bonn.de/research/pdt/start</a>http://arxiv.org/abs/0809.0680fsteeg2008-09-05T20:23:42+02:00diss ir prolog uima <a itemprop="url" data-versiondate="2008-09-05T20:23:42+02:00" href="http://arxiv.org/abs/0809.0680" rel="nofollow" class="description-link">http://arxiv.org/abs/0809.0680</a>Grundlage der symbolischen Logikhttp://www.zeno.org/Kirchner-Michaelis-1907/A/Lullische+Kunstfsteeg2007-11-25T17:53:41+01:00logic logik prolog <span itemprop="description">Grundlage der symbolischen Logik</span>Syntax coloring (somewhat) and integration of an interpreterhttp://eclipse.ime.usp.br/projetos/grad/plugin-prolog/index.htmlfsteeg2006-04-27T17:39:52+02:00eclipse prolog <span itemprop="description">Syntax coloring (somewhat) and integration of an interpreter</span>Prolog/XPCE based GUI for creating trees for various latex packageshttp://www.cs.rhul.ac.uk/home/chris/TLA/tla.htmlfsteeg2006-01-21T16:00:56+01:00latex prolog trees <span itemprop="description">Prolog/XPCE based GUI for creating trees for various latex packages</span>http://www.benjaminjohnston.com.au/template.prolog?t=pspfsteeg2005-11-30T17:21:40+01:00prolog <a itemprop="url" data-versiondate="2005-11-30T17:21:40+01:00" href="http://www.benjaminjohnston.com.au/template.prolog?t=psp" rel="nofollow" class="description-link">http://www.benjaminjohnston.com.au/template.prolog?t=psp</a>