sebdumancic / pylo2 Goto Github PK

• time limit
• bound on the resolution steps
• limit the number of recursive steps?

When quoted constants are part of query results, SWI and XSB have different behavior. More specifically, SWI includes the constants, while XSB drops them. This leads to inconsistencies and problems later on. For example, the returned unquoted constants might not get recognized as constants anymore by Pylo.

This behavior is also noticeable when using SWI and XSB on the terminal:

?- consult(user).
|: foo('#-x').
|: ^D
true.

% SWI behavior
?- foo(X).  
X = '#-x'.

% XSB behavior
?- foo(X).  
X = #-x.

It might be useful to hide this different behavior through Pylo.