Discussions - comp.lang.prolog

	DES1.8.0 Released
	[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 1.8.0 [link] has been launched on December, 18th, 2009, and ported to Ciao Prolog 1.10p5 GNU Prolog 1.3.1 SICStus Prolog 3.12.2 SWI Prolog 5.8.2... more » By fsaenzperez - Dec 18 - 1 new of 1 message

	comp.lang.prolog Frequently Asked Questions
	Frequently Asked Questions - comp.lang.prolog Last-modified: 2009-11-16 Last-changes: Mention irc.freenode.net's #prolog channel. Terrence Brannon. Markus Triska (Mar. 2 2007 - ... ) Remko Troncon (Jan. 6 2002 - Mar. 2 2007) Dirk-Jan Faber (Feb. 1 1999 - Jan. 6 2002) Jamie Andrews (Aug 26 1992 - Oct. 16 1997)... more » By Markus Triska - Dec 16 - 1 new of 1 message

	Commercial Users of Logic Programming workshop (CULP 2010): Call for Companies
	COMMERCIAL USERS OF LOGIC PROGRAMMING CULP 2010 [link] Edinburgh, UK -- July 21 Co-located with ICLP 2010 and FLOC 2010 CALL FOR COMPANIES Academic research in Logic Programming goes back at least as far as... more » By Tom Schrijvers - Dec 16 - 6 new of 6 messages

	pushing parallel and constraint programming
	I had this thought. Prolog has some impure constructs that help a lot in practical programming. What happens if we eliminate those (var, !, setarg, etc.), but include * constraint programming (eg. CLP(FD)), add whatever else you need, * constraints to enforce typing (O'Keefe style type constraints),... more » By Alan Baljeu - Dec 15 - 19 new of 19 messages

	XPCE "Arguments are not sufficiently instantiated"
	Hello. I'm trying to use XPCE for GUI to my prolog script and I would like to store a list from prolog in a variable in xpce. The problem is that some of the elements in my list are uninstantiated and thus this error is generated. I have tried several types of variable (chain, object, any) but all throw the same error.... more » By Stonehead - Dec 11 - 2 new of 2 messages

Prolog portability quest 1

Start up your Prolog processor and immediately type in the following query: X = [:-,f(:-),(-)-1,(-)+(-)]. You should get back the same text as answer. Maybe with some extra layout spaces, and maybe without the . at the end. If you see something else, Prolog text generated by your system is most probably not portable. Chances are, some terms... more »

By Ulrich Neumerkel - Dec 10 - 27 new of 27 messages

CLP-FD suggestions

I would like to solve a simple problem in CLP: assign 26 groups of people of various sizes to 6 slots respecting the capacity of each slot and minimizing the conflicts among the preferences of people. Preferences are expressed, for each group, as a list of distances from optimum. With the following ILOG OPL program, it takes just few seconds:... more »

By marco - Dec 9 - 16 new of 16 messages

	high-performance logic computing via web
	I'm exploring this cloud concept (parallel computing grid or whatever) as a way to scale up computations. I don't have specific performance requirements, but I want to know what's available for production use: languages and platforms. The problems I'm solving have arbitrary complexity, and can choose... more » By Alan Baljeu - Dec 8 - 4 new of 4 messages

	Output complete trace at once in SWI-Prolog
	Hey, is there a way to output the whole trace of one call in SWI-Prolog at once? I am trying to debug something with very many steps in between and do not want to keep holding down the return key all the time. By Raphael - Dec 8 - 2 new of 2 messages

	Parser for PDDL in prolog
	Hi Everybody I created a parser for PDDL in Prolog. If you find it useful you can download it here: [link] Feel free to comment it. Robert Sasak Here you can find related discussion: [link]... more » By Robert - Dec 6 - 1 new of 1 message