xsb-users@lists.sourceforge.net

0

replies

Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (DEADLINES EXTENSION)

started 2017-06-20 19:32:32 UTC

2017-06-20 19:32:32 UTC

Nataliia Stulova

0

replies

"intercepting trace"?

started 2017-06-09 19:54:29 UTC

2017-06-09 19:54:29 UTC

Firas al-Khalil

0

replies

2nd Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems

started 2017-06-09 18:51:46 UTC

2017-06-09 18:51:46 UTC

Nataliia Stulova

0

replies

Embedded XSB: re-usable sessions

started 2016-05-02 23:01:54 UTC

2016-05-02 23:01:54 UTC

Michael Welsh Duggan

0

replies

Getting errors from consult/1 from the embedded API

started 2016-05-02 21:37:13 UTC

2016-05-02 21:37:13 UTC

Michael Welsh Duggan

2

replies

Questions about meta-interpreters in XSB Prolog

started 2016-02-08 19:58:05 UTC

2016-02-08 22:38:52 UTC

Vijay Saraswat

1

reply

error#126 pcre

started 2015-06-12 18:41:34 UTC

2015-06-15 11:04:24 UTC

Michael Kifer

1

reply

XSB on ARM (raspberry pi) OOMs during compilation of xsb_configuration.P

started 2015-01-05 16:19:38 UTC

2015-01-06 01:55:25 UTC

Michael Kifer

1

reply

Configuring ODBC in Linux

started 2014-05-26 08:26:46 UTC

2014-05-26 10:27:13 UTC

Michael Kifer

2

replies

Problem in connecting to MySQL

started 2014-05-24 11:17:38 UTC

2014-05-26 07:03:00 UTC

Mahsa Chitsaz

5

replies

XSB build problem on Mac OS X 10.9

started 2013-11-26 16:22:42 UTC

2014-02-24 17:44:03 UTC

Miguel Bento Alves

2

replies

Querying inconsistent knowledge bases.

started 2014-01-25 06:45:37 UTC

2014-01-25 08:22:01 UTC

Michael Kifer

0

replies

Improving the XSB build on Windows

started 2013-12-03 04:14:19 UTC

2013-12-03 04:14:19 UTC

Michael Kifer

0

replies

Improving the XSB build on Windows

started 2013-11-26 21:02:31 UTC

2013-11-26 21:02:31 UTC

Ian Emmons

0

replies

Calling XSB from Java via JNI

started 2013-11-26 08:24:13 UTC

2013-11-26 08:24:13 UTC

Ian Emmons

0

replies

export.h problem

started 2013-10-15 23:29:53 UTC

2013-10-15 23:29:53 UTC

Ian Emmons

1

reply

Error in XSB 3.4 - package sgmlconfig

started 2013-07-08 22:09:06 UTC

2013-07-08 23:30:38 UTC

Michael Kifer

0

replies

salutations

started 2013-06-11 22:19:35 UTC

2013-06-11 22:19:35 UTC

Sergio Castro

15

replies

Tabled query with atoms without rules results in an error?

started 2013-03-19 22:37:17 UTC

2013-05-27 09:54:04 UTC

Sergio Castro

0

replies

Syntax of meta_predicate?

started 2013-03-24 08:59:43 UTC

2013-03-24 08:59:43 UTC

Peter Ludemann

0

replies

setof tabled predicate leaves unnecessary choice point?

started 2013-03-06 02:30:20 UTC

2013-03-06 02:30:20 UTC

Peter Ludemann

0

replies

Trivial compilation failure in table_examples.P

started 2013-03-06 02:28:53 UTC

2013-03-06 02:28:53 UTC

Peter Ludemann

0

replies

Installation issues and observations on OS X 10.8 (Mountain Lion)

started 2012-10-23 19:26:10 UTC

2012-10-23 19:26:10 UTC

David Dreisigmeyer

0

replies

XSB 3.3.7 doesn't build on Windows

started 2012-09-27 02:38:19 UTC

2012-09-27 02:38:19 UTC

Ian Emmons

0

replies

Partial Order Answer Subsumption with Abstraction breaks compilation?

started 2012-08-17 14:00:04 UTC

2012-08-17 14:00:04 UTC

bnord

0

replies

Performance check

started 2012-06-21 19:26:37 UTC

2012-06-21 19:26:37 UTC

Timea Bagosi

1

reply

Tabling dynamic predicates

started 2012-06-08 22:00:15 UTC

2012-06-08 22:18:24 UTC

K. A.

0

replies

Memory requirements for large databases

started 2012-06-05 19:12:17 UTC

2012-06-05 19:12:17 UTC

K. A.

0

replies

Using SWI-Prolog libraries with XSB

started 2012-05-06 01:50:29 UTC

2012-05-06 01:50:29 UTC

Francisco

5

replies

Using Interprolog with XSB

started 2008-01-25 23:26:11 UTC

2012-04-20 20:36:26 UTC

Francisco