Activity for Michael Kifer
-
Michael Kifer committed [e89f00] on Sources (GIT)
The updates to autoconf in the latest ubuntu 24.04 and Mint 22 are so far reaching that they break XSB config.
-
fixed a cosmetic config bug in windows64
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> are you sure you are using the latest from the git repository? This bug was fixed exactly 2 months ago On 5/14/24 11:23 PM, Eli Schwartz wrote: It should, yes, that's the local fix I made too. --- **[bugs:#265] Build fails with implicit-int in a configure test probe** **Status:** open **Group:** Performance problem **Created:**...
-
fixed typo in err msg
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> I hope I fixed this by changing to int main(){return 0;} On 3/14/24 8:23 PM, Eli Schwartz wrote: <meta http-equiv="content-type" content="text/html; charset=UTF-8"> [bugs:#265] Build fails with implicit-int in a configure test probe Status: open Group: Performance problem Created: Fri Mar 15, 2024 12:23 AM UTC by Eli Schwartz...
-
possibly fixed a configure.in bug with --export-dynamic
-
Are you talking about converting the source code? In any case, no, there is no such converter as far as I know. Mar 4, 2024 00:54:33 Ticket #6: Code Converter 6@support-requests.flora.p.re.sourceforge.net: [support-requests:#6] Code Converter Status: open Group: v1.0 (example) Labels: Code Converter Created: Mon Mar 04, 2024 05:54 AM UTC by Anonymous Last Updated: Mon Mar 04, 2024 05:54 AM UTC Owner: nobody Hi, I am using the ErgoAI 3.0 and have to load some Flora-2 codes with the version 0.99.5....
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> I may have found what's wrong with this package. Please try On 3/1/24 4:36 AM, Alvin Hsu wrote: <meta http-equiv="content-type" content="text/html; charset=UTF-8"> I believe I may have found one more case. Recompilation is triggered for at least a subset of packages in $XSB_DIR/packages. I can get it to reliably reproduce...
-
replaced file_time with path_sysop
-
added notolderthan; made newerthan into a strict comparison
-
Why do you touch xsb configuration.p? You can see that this causes an error. Try touching a new empty file Feb 13, 2024 02:44:27 Alvin Hsu alvhsu@users.sourceforge.net: Hi Michael, Thanks for going through with this! Unfortunately, it appears that the issue is still present at commit [660f0f79b1007f2f0be5bfa4e079abaf12b4f1d9]; building without my patch results in XSB attempting to recompile for equal modtimes as it did before. I've written a shell script that reproduces this on my end with a standard...
-
I see that David changed<= to <. Will use it for now unless someone complains that this breaks something Feb 8, 2024 23:27:09 Alvin Hsu alvhsu@users.sourceforge.net: Hello again, I finally got around to bringing the modtime recompilation issue up with others in the Guix community, and it seems like resolving it without a downstream patch would indeed require a change in how XSB decides when recompilation is needed. Would a build-time flag for determining this be acceptable? An environment variable...
-
ignore janus*.egg-info
-
ignore janus.egg-info
-
smb forgot to commit
-
smb forgot to commit
-
smb forgot to commit
-
compile warnings removed by declaration of
-
transferred my changes from xsbpy to janus
-
things that Teri missed while renaming px->janus
-
simplified and extended hack_lib_name/2
-
hack python extra lib name
-
hack python extra lib name
-
main changes in init_xsbpy.P: added -L PYTHON_LIB_DIR.
-
changes in init_xsbpy.P and xsb2py_connect_defs.in
-
a better fix for the '-problem in configure.ac
-
fixed the problem that caused Janus to be configured when one types makexsb clean
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> Hi, Alwin, sorry for the long wait. There probably are as many arguments for as there are against recompiling xwam with modtime equal to that of its corresponding .P file. Perhaps a global flag could be used to indicate that. As to the --build option, it is not supported. -- --- michael On 6/1/23 4:50 PM, Alvin Hsu wrote:...
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> David, I ran the Flora/ErgoAI testsuite and do not see any obvious speedup. The tests in that testsuite do not call xsb built-ins a huge number of times though -- --- michael On 7/18/23 10:16 AM, David S. Warren wrote: <meta http-equiv="content-type" content="text/html; charset=UTF-8"> That's great, Felix. And thanks again...
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> impressive! Interesting that MSVC apparently does it better. On 7/17/23 4:23 PM, David S. Warren wrote: OK. I found and have fixed the problem. A few more tests and then I'll commit the changes to sourceforge. I dumped the assembler code that gcc generates for the builtin.c file. I know little about x86_64 assembler code,...
-
fixed typos in the pita manual
-
committing the xwams that changed after DSW fixed some error msgs
-
added some more install msgs, removed others to sharpen focus
-
dded the doc and some more dirs
-
added quotes to file name in messages.
-
added a 1-step installer for linux and mac that has very important advantages over the current tar files.
-
restored the src dir to dsw's
-
fixed bugs in windows installer
-
'not' is the usual prolog negation as failure synonymous with +. It doesn't have logical semantics. In some cases a warning could be issued if 'not' is applied to a tabled predicate but in general it's hard to detect. I don't know why partial detection wasn't adopted. Dec 14, 2022 22:04:25 chi cztest@users.sourceforge.net: Hi Michael, Thank you very much for your patient answer! I tried with "tnot" and get the correct result. But I'd like to ask if this indicates a small bug on "not", or if this...
-
well, you are not paying attention here too :-) With tabled predicates you should use tnot, if you want well-founded semantics. Then 5 of these will be undefined. But you will not see that some are undefined with writeln. To filter out the undefined ones, read the manual. The simplest way to see that is to use the XSB command line interface. First debug your query there and only then do other things, like the -e option and whatever. -- --- michael On 12/14/22 7:24 AM, chi wrote: Hi, I am very sorry...
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> probably you are not paying attention and are ignoring compiler warnings. ++Warning[XSB]: [Compiler] Singleton variable B in a clause of huxq/1 We have very little time for answering these questions, especially of the kind that could be avoided. On 12/5/22 9:26 PM, chi wrote: --- ** [bugs:#257] A question on recursive query**...
-
xsb --noprompt --quietload --nobanner --nofeedback -e "[example], win(A), win(A), writeln('A'=A), halt." On 12/5/22 3:20 AM, chi wrote: Hello Michael, Thank you very much for your answer! Is it only for recursive queries with negation that the results cannot be obtained using non-interactive mode? Could you please tell me what the correct command should be if I want to use non-interactive mode? [bugs:#256] A minor question on negation in recursive query Status: open Group: wrong answer Created: Mon...
-
First, you have multiple syntax errors in your command in the "..." part. It would be useful if you tested the exact things that you include in your messages. Second, A is indeed 3, but you are not supposed to get any output, since you did not include any output statements. Things like A=3 yes are provided only in the interactive mode. On 12/4/22 9:34 PM, chi wrote: [bugs:#256] https://sourceforge.net/p/xsb/bugs/256/ A minor question on negation in recursive query Status: open Group: wrong answer...
-
Without tabling recursive preds it won't. Nov 28, 2022 20:34:12 chi cztest@users.sourceforge.net: Hi, Thank you very much for your quick answer. I still have a very small question, even if I am tabling sxud/1, shouldn't the fix point be reached when the facts of the relation in the recursive query are unchanged? [bugs:#255] The Datalog engine hang on recursive query Status: open Group: wrong answer Created: Mon Nov 28, 2022 01:00 PM UTC by chi Last Updated: Mon Nov 28, 2022 01:00 PM UTC Owner: nobody...
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> you are tabling sxud/1 but the recursive predicate is kuts/1 or huvd/1, not sxud/1. On 11/28/22 8:00 AM, chi wrote: --- ** [bugs:#255] The Datalog engine hang on recursive query** **Status:** open **Group:** wrong answer **Created:** Mon Nov 28, 2022 01:00 PM UTC by chi **Last Updated:** Mon Nov 28, 2022 01:00 PM UTC **Owner:**...
-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> you can try xsb -e "[foo.P], some_query_from_foo, writeln(done)." There are two python-calling-xsb bridges. One is slow, but works both in linux, mac, and windows: https://pypi.org/project/py-xsb/ The other comes with xsb and is fast, but currently works only in linux. There also is an xsb-calling-python interface, which...
-
more on paths to vcvarsall.bat for newer versions of msvc
-
typos, clarifications
-
more on .xsb dir, some other small fixes.
-
some fixes in the manual
-
put .xsb/ dir on library search path at xsb initialization.
-
clarification about the location of xsbrc.P
-
NetBSD porting and some general patches
-
done
-
1. Added config files for windows on arm64. XSB now needs to be tested on win arm64.
-
pathlp-install.sh: fixed directory
-
small clarifications
-
add --fsigned-char to cflags in case of clang
-
make sure the CC flag --fsigned-char is used for any compiler matching *gcc
-
restore listing syslib/cmplib/lib warnings at the end of makexsb
-
minor improvement in err msg in curl/configure.in
-
added a file to .gitignore
-
make sure makexsb*.in creates bin\xsb*.bat from template
-
for px config: a better grep to sort out non-error lines
-
1. In io_builtin_xsb.c: rolled back DSW change of 5/19/22 3:57pm
-
added templates for generating xsb*.bat
-
these should be generated by Unix configure
-
mostly typo fixes in the xsbpy doc.
-
some corrections for windoze
-
better filtering of px error/warnings
-
added BLDLIBRARY
-
added BLDLIBRARY
-
better err/warns in case px goes bad
-
better checks for config errors
-
converted px to setuptools
-
intermed commit: still fixing px build
-
documented the tech part of the python config proc
-
intermediate commit
-
minor
-
this setup file isnt used - just an example
-
use clang -o for obj code< IF CC=clang.
-
better handling of the 'pip not installed' case
-
changes to make xsbpy config more robust and give better error msgs
-
minor updates, incl. rm -f *.xwam *.so *.dylib in xsbpy dir, requested by Teri.
-
xsbpy config is now exiting is pip isn't installed.
-
ran autoconf in build to make David's changes have the effect
-
made xsbpy config independent on the existence of running xsb
-
config banners etc - minor
-
put in new config.sub and config.guess
-
added xsbpy_info
-
fix for px egg config
-
Added XSB_ROOTDIR and XSB_ROOTDIR_2QUOTED
-
allow the user to specify the preferred version of python at config time
-
added the XSBCONFIG_BINDIR var to py-xsb configuration in case we'll need it
-
forgot this one
-
fixes (minor)
-
added pkg description, but now Teri's config gives errors
-
automated creation of the settings for px
-
looks like these xwams havnt been committed after changes
-
comments in gpp.
1 >