ciao-users@clip.dia.fi.upm.es

2

replies

help

started 2014-09-11 05:00:25 UTC

2014-09-16 21:32:51 UTC

emacstheviking

2

replies

:-use_package(use_occurs_check).

started 2014-09-14 07:41:33 UTC

2014-09-15 05:16:46 UTC

James Lipton

1

reply

Install from source on Ubuntu 14.04 LTS for x86_64

started 2014-08-25 03:57:27 UTC

2014-08-26 22:42:28 UTC

Juan

10

replies

Cannot get Ciao 1.15 menus on iMac Maverick OS X 10.9.4

started 2014-08-12 10:28:03 UTC

2014-08-22 15:41:06 UTC

Jose F. Morales

2

replies

getting into trace mode.

started 2014-07-27 19:08:23 UTC

2014-08-13 04:42:45 UTC

c***@clip.dia.fi.upm.es

2

replies

how to enrich a linguistic app using CIAO with with sound and picture

started 2014-07-27 00:40:49 UTC

2014-08-04 12:35:55 UTC

Jose F. Morales

1

reply

how to / exemple for using CIAO with unicode contents

started 2014-07-18 18:27:27 UTC

2014-07-20 20:25:44 UTC

Jose F. Morales

3

replies

Substitues for get0 and get predicates?

started 2014-07-13 02:29:10 UTC

2014-07-14 14:00:07 UTC

Jose F. Morales

3

replies

JESS: Assistant Position at University of Ulm, Computer Science, Constraint-Preogramming

started 2011-03-15 16:40:26 UTC

2014-06-23 15:37:18 UTC

Thom Fruehwirth

0

replies

Vienna Summer of Logic: Call for Participation

started 2014-06-13 13:37:24 UTC

2014-06-13 13:37:24 UTC

Manuel Carro

0

replies

2014 Summer School on Computational Logic

started 2014-05-28 14:10:26 UTC

2014-05-28 14:10:26 UTC

Manuel Carro

0

replies

2014 Summer School in Computational Logic

started 2014-05-28 04:06:18 UTC

2014-05-28 04:06:18 UTC

Gopal Gupta

2

replies

ICLP 2014: Call for Participation

started 2014-05-24 14:33:37 UTC

2014-05-26 16:33:46 UTC

Isabela Drămnesc

0

replies

ICLP 2014: Deadline Extension

started 2014-02-01 19:47:55 UTC

2014-02-01 19:47:55 UTC

Tom Schrijvers

0

replies

ICLP 2014: Call for Papers

started 2013-11-06 16:05:30 UTC

2013-11-06 16:05:30 UTC

Tom Schrijvers

0

replies

Next version

started 2013-10-10 04:48:25 UTC

2013-10-10 04:48:25 UTC

John O'Gorman

0

replies

Division by zero for multiplication constraint?

started 2013-09-19 15:14:56 UTC

2013-09-19 15:14:56 UTC

Jan Burse

3

replies

Ciao Prolog without Cygwin?

started 2013-09-09 15:43:47 UTC

2013-09-19 15:08:48 UTC

Jan Burse

2

replies

How to Define ins/2

started 2013-09-19 03:26:20 UTC

2013-09-19 15:06:37 UTC

Jan Burse

0

replies

PhD/Postdoc in programming models for heterogeneous infrastructures

started 2013-08-29 03:19:49 UTC

2013-08-29 03:19:49 UTC

Manuel Carro

0

replies

VMCAI 2014: Call for Papers

started 2013-07-20 22:54:00 UTC

2013-07-20 22:54:00 UTC

Xavier Rival

2

replies

Trouble getting started from source packages, SVN access?

started 2013-01-15 23:42:26 UTC

2013-07-17 21:07:47 UTC

Ian Tegebo

0

replies

Call for Papers: Logic Based Program Synthesis and Transformation (LOPSTR'13) in Madrid (deadline extended)

started 2013-06-13 04:17:27 UTC

2013-06-13 04:17:27 UTC

Gopal Gupta

0

replies

Paper Submission Deadline for LOPSTR'13 Extended to June 24

started 2013-06-08 05:20:39 UTC

2013-06-08 05:20:39 UTC

Gopal Gupta

0

replies

PPDP '13: Last Call for Papers

started 2013-06-07 00:03:45 UTC

2013-06-07 00:03:45 UTC

Tom Schrijvers

0

replies

EXTENDED DEADLINE: WLPE 2013 Call For Papers

started 2013-06-05 14:18:22 UTC

2013-06-05 14:18:22 UTC

Jose F. Morales

3

replies

Problems with Java to Prolog interface

started 2013-05-31 13:36:58 UTC

2013-06-03 00:28:37 UTC

Giacoma Monreale

0

replies

WLPE 2013 - Second Call For Papers

started 2013-05-28 13:04:38 UTC

2013-05-28 13:04:38 UTC

Jose F. Morales

0

replies

Call for Papers: 23rd Symposium on Logic-based Programming Synthesis and Transformation

started 2013-05-26 18:40:42 UTC

2013-05-26 18:40:42 UTC

Gopal Gupta

1

reply

call/n Argument Order

started 2013-05-12 00:25:44 UTC

2013-05-12 23:26:55 UTC

Jose F. Morales