ErgoAI and XSB Users Forum

Contact owners and managers

1–30 of 67

Welcome to the discussion forum for ErgoAI and XSB! Post questions and answers, browse archives, share interesting projects, and discuss knowledge based systems in general. Also sign up for notifications about new posts.
Posting via the browser: use the present Web page (click New Conversation or Post Reply).
Posting by email: send a message to ergoai-xsb-forum AT coherentknowledge DOT com. One must subscribe to this forum to post (an anti-spam measure).
ErgoAI is a rule-based enterprise-grade knowledge representation and reasoning (KRR) system for building knowledge-rich applications. It is highly expressive and feature-full, and yet is easy to learn and use. ErgoAI was opensourced in Spring 2023 and is now a replacement for Flora-2.
Flora-2 was an open-source version of ErgoAI when the latter was proprietary. Capability-wise, it lacks the enterprise features of ErgoAI and is now deprecated.
XSB is a sophisticated logic reasoner used by Ergo as a base inference engine.
ErgoAI Frequently Asked Questions (FAQ)
ErgoAI documentation (manuals, tutorials)

0 selected

Blake McBride, Michael Kifer5

Apr 11

Separate process?

Ooh. Too much for me! Thanks! On Thursday, April 11, 2024 at 1:17:56 PM UTC-5 Michael Kifer wrote:

unread,

Separate process?

Ooh. Too much for me! Thanks! On Thursday, April 11, 2024 at 1:17:56 PM UTC-5 Michael Kifer wrote:

Apr 11

Robin Bloomfield, Michael Kifer2

Apr 2

Insert a HiLog term (not a fact or a rule)

Hi Robin, Here is a simple example showing a way to convert a HiLog term into a HiLog fact in some

unread,

Insert a HiLog term (not a fact or a rule)

Hi Robin, Here is a simple example showing a way to convert a HiLog term into a HiLog fact in some

Apr 2

Alex Netkachov, Michael Kifer2

Mar 1

undefined Prolog predicate _$_$ergo'silent_equal/2

are you saying that it starts on one windows machine but not the other? Then yes, you must have

unread,

undefined Prolog predicate _$_$ergo'silent_equal/2

are you saying that it starts on one windows machine but not the other? Then yes, you must have

Mar 1

Robin Bloomfield, Michael Kifer3

Jan 15

Converting txt strings to facts

Hi Michael, Many thanks, just what I needed. best wishes Robin On Sunday, January 14, 2024 at 4:53:40

unread,

Converting txt strings to facts

Hi Michael, Many thanks, just what I needed. best wishes Robin On Sunday, January 14, 2024 at 4:53:40

Jan 15

Robin Bloomfield, Michael Kifer3

12/12/23

Michael Many thanks, that worked fine on my windows machine. On the mac, the path is a bit different

unread,

Michael Many thanks, that worked fine on my windows machine. On the mac, the path is a bit different

12/12/23

10/6/23

Work Opportunities

I have spent the last two years working in statutory knowledge representation inside the Government

unread,

Work Opportunities

I have spent the last two years working in statutory knowledge representation inside the Government

10/6/23

Alex Netkachov, Michael Kifer7

8/19/23

Difference in query execution in XSB and ErgoAI Studio

It works as I want it to now. Thank you very much for your help! Kind Regards, Alex On Sat, 19 Aug

unread,

Difference in query execution in XSB and ErgoAI Studio

It works as I want it to now. Thank you very much for your help! Kind Regards, Alex On Sat, 19 Aug

8/19/23

Danyil Butkovskyi, Michael Kifer6

8/1/23

ErgoAI for Databricks and Delta Table

I haven't heard that somebody tried to use ErgoAI with databricks, but it seems like a useful

unread,

ErgoAI for Databricks and Delta Table

I haven't heard that somebody tried to use ErgoAI with databricks, but it seems like a useful

8/1/23

Danyil Butkovskyi, … Allen Tien5

8/1/23

ErgoAI for regulations and numeric calculations?

T. Swift et all wrote one or more papers on that On Fri, Jul 28, 2023 at 12:59 PM Danyil Butkovskyi

unread,

ErgoAI for regulations and numeric calculations?

T. Swift et all wrote one or more papers on that On Fri, Jul 28, 2023 at 12:59 PM Danyil Butkovskyi

8/1/23

Joey Couk, … Michael Kifer4

7/25/23

ErgoAI Java RestAPI - concept

The save{...} primitive looks promising! I'll do some testing with that. As always, it's rtfm

unread,

ErgoAI Java RestAPI - concept

The save{...} primitive looks promising! I'll do some testing with that. As always, it's rtfm

7/25/23

Michael Kifer, Joseph Vella2

5/2/23

Open source release of ErgoAI

Well done! And many thanks. Best, j. On Tue, 2 May 2023 at 20:45, Michael Kifer <michael.kifer@

unread,

Open source release of ErgoAI

Well done! And many thanks. Best, j. On Tue, 2 May 2023 at 20:45, Michael Kifer <michael.kifer@

5/2/23

Robin Bloomfield, Michael Kifer5

4/18/23

ErgoAI3 on M1 Mac

Great, that worked! Many thanks for your help. Robin On Tuesday, April 18, 2023 at 5:27:34 PM UTC+1

unread,

ErgoAI3 on M1 Mac

Great, that worked! Many thanks for your help. Robin On Tuesday, April 18, 2023 at 5:27:34 PM UTC+1

4/18/23

Robin Bloomfield, Michael Kifer2

4/17/23

Ergo stopped loading files: $flora:unallowed_query_lock

I understand that this is for the old version of ErgoAI, not for the open-sourced one, right? I see

unread,

Ergo stopped loading files: $flora:unallowed_query_lock

I understand that this is for the old version of ErgoAI, not for the open-sourced one, right? I see

4/17/23

Eleanor Todd, Michael Kifer3

4/7/23

Tabling Basics and List construction?

Perfect, thank you! Ironically, I had an earlier version working using a fail loop, but it didn't

unread,

Tabling Basics and List construction?

Perfect, thank you! Ironically, I had an earlier version working using a fail loop, but it didn't

4/7/23

Eleanor Todd, Michael Kifer4

4/6/23

Code Inheritance question

On 4/6/23 4:05 PM, Eleanor Todd wrote: Thanks so much for your help! > * Is there a way of

unread,

Code Inheritance question

On 4/6/23 4:05 PM, Eleanor Todd wrote: Thanks so much for your help! > * Is there a way of

4/6/23

Marc Hadfield, Michael Kifer3

7/6/22

flora2 typed variables

thanks! On Wed, Jul 6, 2022 at 1:51 PM Michael Kifer <michae...@coherentknowledge.com>

unread,

flora2 typed variables

thanks! On Wed, Jul 6, 2022 at 1:51 PM Michael Kifer <michae...@coherentknowledge.com>

7/6/22

Marc Hadfield, Michael Kifer12

6/28/22

memory violation error with Flora2.1 and XSB 4.0

Great! Thank you for the info Michael. This helps with the short term work-around, and hopefully is a

unread,

memory violation error with Flora2.1 and XSB 4.0

Great! Thank you for the info Michael. This helps with the short term work-around, and hopefully is a

6/28/22

6/25/22

XSB 5.0 distribution has softlinks in the tar.gz

Hello - Not a significant issue, but I noticed the distribution file on sourceforge for XSB-5.0.tar.

unread,

XSB 5.0 distribution has softlinks in the tar.gz

Hello - Not a significant issue, but I noticed the distribution file on sourceforge for XSB-5.0.tar.

6/25/22

Marc Hadfield, Michael Kifer5

6/24/22

build issue with Flora-2 under amazon linux ARM

I also run into similar build errors with Flora2.1 & XSB 5.0 in an x86_64 (so, not ARM)

unread,

build issue with Flora-2 under amazon linux ARM

I also run into similar build errors with Flora2.1 & XSB 5.0 in an x86_64 (so, not ARM)

6/24/22

9/9/21

Thanks Michael! We use Eclipse for our other development work. Other than the visualizer from a long

unread,

Thanks Michael! We use Eclipse for our other development work. Other than the visualizer from a long

9/9/21

Mark Clements, … Michael Kifer12

6/8/21

C timestamps in XSB

Nice - the following seems to work. is_nan(Number) :- X is Number, X =\= Number. Kindly, Mark. On 08/

unread,

C timestamps in XSB

Nice - the following seems to work. is_nan(Number) :- X is Number, X =\= Number. Kindly, Mark. On 08/

6/8/21

Jason Morris, Michael Kifer6

1/28/21

Getting XSB to Use PCRE on Mac Big Sur

pcre.h is not in /usr/local/include, but I'm manually specifying the location with --with-pcre-

unread,

Getting XSB to Use PCRE on Mac Big Sur

pcre.h is not in /usr/local/include, but I'm manually specifying the location with --with-pcre-

1/28/21

Jason Morris, Michael Kifer2

1/19/21

Flora-2 Manual Not Available Online

must have been temporary outage at Sourceforge. On 1/18/21 9:52 PM, Jason Morris wrote: Not sure if

unread,

Flora-2 Manual Not Available Online

must have been temporary outage at Sourceforge. On 1/18/21 9:52 PM, Jason Morris wrote: Not sure if

1/19/21

12/31/20

ErgoAI and Flora-2 2.1-RC1 (Release Candidate 1)

Hello Everybody and Happy 2021! After a long development cycle, we are approaching the anticipated

unread,

ErgoAI and Flora-2 2.1-RC1 (Release Candidate 1)

Hello Everybody and Happy 2021! After a long development cycle, we are approaching the anticipated

12/31/20

Jason Morris, Michael Kifer7

12/13/20

Can't load logforest files in Flora-2

it will probably make it into the flora2 repository in the second part of January. The actual release

unread,

Can't load logforest files in Flora-2

it will probably make it into the flora2 repository in the second part of January. The actual release

12/13/20

Alastair Butler

11/28/20

Treebank Semantics project with Flora-2 object frame output

Hi, I am writing this post to share what I hope might be an interesting project related to ErgoAI,

unread,

Treebank Semantics project with Flora-2 object frame output

Hi, I am writing this post to share what I hope might be an interesting project related to ErgoAI,

11/28/20

Johann Bestowrous, Michael Kifer2

11/21/20

issues with Querying Ergo from C and C++ from example bank

it was not included in the previous release, but is in the forthcoming release candidate. Meanwhile,

unread,

issues with Querying Ergo from C and C++ from example bank

it was not included in the previous release, but is in the forthcoming release candidate. Meanwhile,

11/21/20

Johann Bestowrous, Michael Kifer2

11/3/20

issues with ergo evidential probability demo

Sorry, that package went stale. Will be fixed in the forthcoming release candidate of Ergo fairly

unread,

issues with ergo evidential probability demo

Sorry, that package went stale. Will be fixed in the forthcoming release candidate of Ergo fairly

11/3/20

Jason Morris, Michael Kifer2

10/26/20

Expert System in Ergo Lite Problem with Reading User Input

loop-until and while-loop do not bind any variables. Should have been mentioned in the manual. Second

unread,

Expert System in Ergo Lite Problem with Reading User Input

loop-until and while-loop do not bind any variables. Should have been mentioned in the manual. Second

10/26/20

Johann Bestowrous, Michael Kifer3

10/24/20

seeking hint / suggestion re: persisting dates with persistent modules in ergo lite

Appreciate the response! I had some time to revisit this today and wanted to relay that I was able to

unread,

seeking hint / suggestion re: persisting dates with persistent modules in ergo lite

Appreciate the response! I had some time to revisit this today and wanted to relay that I was able to

10/24/20

Search

Clear search

Close search

Google apps

Main menu