Please mark dev-lang/qu-prolog-7.2-r1 stable on x86 and ppc. I've been personally running qu-prolog for the past couple of months without problems. Thanks!
1) emerges fine 2) passes collision test 3) when running a sample code, qc states /usr/bin/qc: line 256: qg: command not found Which is really not installed on my system neither with USE="qt3 qt4 -debug -doc -threads" nor USE="qt3 qt4 -debug -doc threads" Portage 2.1-r1 (default-linux/x86/2006.0, gcc-3.4.6, glibc-2.3.6-r4, 2.6.17-gentoo-r4 i686) ================================================================= System uname: 2.6.17-gentoo-r4 i686 AMD Athlon(tm) XP 2500+ Gentoo Base System version 1.6.15 app-admin/eselect-compiler: [Not Present] dev-lang/python: 2.4.3-r1 dev-python/pycrypto: 2.0.1-r5 dev-util/ccache: [Not Present] dev-util/confcache: [Not Present] sys-apps/sandbox: 1.2.17 sys-devel/autoconf: 2.13, 2.59-r7 sys-devel/automake: 1.4_p6, 1.5, 1.6.3, 1.7.9-r1, 1.8.5-r3, 1.9.6-r2 sys-devel/binutils: 2.16.1-r3 sys-devel/gcc-config: 1.3.13-r3 sys-devel/libtool: 1.5.22 virtual/os-headers: 2.6.11-r2 ACCEPT_KEYWORDS="x86" AUTOCLEAN="yes" CBUILD="i686-pc-linux-gnu" CFLAGS="-O2" CHOST="i686-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/share/X11/xkb" CONFIG_PROTECT_MASK="/etc/env.d /etc/gconf /etc/revdep-rebuild /etc/splash /etc/terminfo" CXXFLAGS="-O2" DISTDIR="/usr/portage/distfiles" FEATURES="autoconfig ccache collision-protect distlocks metadata-transfer parallel-fetch sandbox sfperms strict test" GENTOO_MIRRORS="ftp://sunsite.informatik.rwth-aachen.de/pub/Linux/gentoo/" LANG="de_DE@euro" LC_ALL="de_DE@euro" LINGUAS="de" MAKEOPTS="-j2" PKGDIR="/usr/portage/packages" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --delete-after --stats --timeout=180 --exclude='/distfiles' --exclude='/local' --exclude='/packages'" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" PORTDIR_OVERLAY="/usr/local/portage" SYNC="rsync://rsync.informatik.rwth-aachen.de/gentoo-portage" USE="x86 3dnow 3dnowext X Xaw3d a52 alsa arts artworkextra asf audiofile avi bash-completion beagle berkdb bidi bitmap-fonts bootsplash branding bzip2 cairo cdda cddb cdparanoia cdr cli cracklib crypt css cups curl custom-cflags dbus dga directfb divx4linux dlloader dri dts dvd dvdr dvdread dvi eds emacs emboss encode esd evo exif expat fam fat fbcon fdftk ffmpeg firefox foomaticdb fortran ftp gb gcj gdbm gif gnome gpm gstreamer gtk gtk2 gtkhtml hal icq idn imagemagick imap imlib ipv6 isdnlog java javascript jikes jpeg jpeg2k ldap leim libg++ libwww lm_sensors mad maildir matroska mbox mikmod mime mmx mmxext mng mono motif mp3 mpeg mpeg2 mule nautilus ncurses nforce2 nls nocardbus nptl nptlonly nsplugin nvidia objc ogg opengl pam pcre pdf pdflib perl plotutils pmu png ppds pppd preview-latex print python qt qt3 qt4 quicktime readline reflection reiserfs samba sdk session slang spell spl sse ssl svg svga t1lib tcltk tcpd theora thunderbird tiff truetype truetype-fonts type1-fonts udev usb vcd videos vorbis win32codecs wmf wxwindows xine xml xorg xosd xv xvid zlib elibc_glibc input_devices_mouse input_devices_keyboard kernel_linux linguas_de userland_GNU video_cards_radeon video_cards_vesa video_cards_fbdev" Unset: CTARGET, EMERGE_DEFAULT_OPTS, INSTALL_MASK, LDFLAGS, PORTAGE_RSYNC_EXTRA_OPTS
Thanks for taking the time to test this! The examples are traditionally run via qp, but in case you wish to compile them with qc I've added a qem wrapper scripts for this purpose. Two points about the installed qu-prolog examples: - some are showcases for inter-process communication and will not produce significant results without ICM. - examples lacking a 'main([])' predicate will not run as standalone binaries when compiled using qc. Thanks, Keri.
I am just a little AT, don't know anything about Prolog and so only test what I think is right...but I am satisfied. I took example code from a tutorial and it works (compiles fine to object code, is interpreted). Thumbs up from me.
Weird, qp seems broken here on ppc with USE="doc qt3 threads -debug -qt4" I tried running: examples # qc -c lambda.ql examples # qp Qu-Prolog Version 7.2 | ?- load(lambda) And at that point it just hangs... at least until I hit ^C, at which point it gives me the interrupt prompt and I can hit 'e' to exit. Any advice?
Wormo, loading .qo files from outside QPLIBPATH would have to be done via qem; I've added `cwd` to QPLIBPATH so you won't have to explicitely set it for any examples you've compiled. Let me know how you fare with loading lambda.qo from within qp. Thanks, Keri
x86 is stable
@Wormo: it doesn't hang. I had the same problem until i observed the trailing dot in the examples (see userguide) It is | ?- load(lambda). And that gets it. According to the user-manual (very well written, btw.) one can also do | ?- [lambda]. to load the uncompiled source. The lambda thing is fine w/ the examples given in the user-manual. However i was unable to test natural_deduction.ql (the term prover): | ?- prove( th3, all x1 ex x2 P(x1,x2) => ex x2 all x1 P(x1,x2)). no definition for incomplete_retry_delays/0 Otherwise qu-prolog is fine w/ me. Recommended stable on ppc.
Matti, the incomplete_retry_delays/0 predicate is defined in the example file incomplete_unify.ql. Proofs of theorems can then be attempted in the usual way: | ?- [incomplete_unify]. Warning: force_deref_rev / 2 Singleton Variables: [X] Warning: force_deref_rev / 2 Singleton Variables: [R] Warning: force_identical_subs / 4 Singleton Variables: [S1, S2, Snfi] Warning: force_empty_sub / 3 Singleton Variables: [S] yes | ?- [natural_deduction]. Warning: rule / 3 Singleton Variables: [B] Warning: rule / 3 Singleton Variables: [A] Warning: rule / 3 Singleton Variables: [T] Warning: rule / 3 Singleton Variables: [A] Warning: rule / 3 Singleton Variables: [T] yes | ?- prove( th3, all x1 ex x2 P(x1,x2) => ex x2 all x1 P(x1,x2)). auto : imp_i 1: all x1 (ex x2 P(x1, x2)) --------------------------------------------------- ex x2 (all x1 P(x1, x2)) :: Note: you've chosen an interesting form of proof to test; not_free_in constraints will prevent it from successfully completing. :-) Thanks, Keri
Hi keri, thanks for the explanation. Yeah, i striclty followed the manual and just picked a prove that it says doesn't finish. However now the theorem prover is alright here. Thanks for your work on it. For the stats: [ebuild R ] dev-lang/qu-prolog-7.2-r1 USE="doc qt3 qt4 -debug -threads"
Stable on ppc. Thanks for testing matti! :-) Closing bug since we're the last arch to stable.
