[package - 130releng-riscv64-quarterly][lang/yap] Failed for yap-6.2.2_11 in stage
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 23 Aug 2022 03:16:44 UTC
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: eugen@FreeBSD.org
Log URL: http://beefy7.nyi.freebsd.org/data/130releng-riscv64-quarterly/0f674946ba39/logs/yap-6.2.2_11.log
Build URL: http://beefy7.nyi.freebsd.org/build.html?mastername=130releng-riscv64-quarterly&build=0f674946ba39
Log:
=>> Building lang/yap
build started at Tue Aug 23 03:14:34 UTC 2022
port directory: /usr/ports/lang/yap
package name: yap-6.2.2_11
building for: FreeBSD 130releng-riscv64-quarterly-job-11 13.0-RELEASE-p11 FreeBSD 13.0-RELEASE-p11 1300139 riscv
maintained by: eugen@FreeBSD.org
Makefile ident:
Poudriere version: 3.2.8-21-g883afb07
Host OSVERSION: 1400063
Jail OSVERSION: 1300139
Job Id: 11
---Begin Environment---
SHELL=/bin/csh
UNAME_p=riscv64
UNAME_m=riscv
ABI_FILE=/usr/lib/crt1.o
OSVERSION=1300139
UNAME_v=FreeBSD 13.0-RELEASE-p11 1300139
UNAME_r=13.0-RELEASE-p11
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
QEMU_EMULATING=1
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-21-g883afb07
MASTERMNT=/usr/local/poudriere/data/.m/130releng-riscv64-quarterly/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/130releng-riscv64-quarterly/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=130releng-riscv64-quarterly
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/130releng-riscv64-quarterly/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---
---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---
---Begin OPTIONS List---
===> The following configuration options are available for yap-6.2.2_11:
BUILDDOCS=off: Rebuild documentation (requires TeX)
DOCS=on: Install documentation
===> Use 'make config' to modify these settings
---End OPTIONS List---
--MAINTAINER--
eugen@FreeBSD.org
--End MAINTAINER--
--CONFIGURE_ARGS--
--enable-max-performance --disable-myddas --prefix=/usr/local ${_LATE_CONFIGURE_ARGS}
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/lang/yap/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/yap/work XDG_CACHE_HOME=/wrkdirs/usr/ports/lang/yap/work/.cache HOME=/wrkdirs/usr/ports/lang/yap/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/yap/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/lang/yap/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CMAKE_PREFIX_PATH="/usr/local" CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288
--End CONFIGURE_ENV--
--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/lang/yap/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/yap/work XDG_CACHE_HOME=/wrkdirs/usr/ports/lang/yap/work/.cache HOME=/wrkdirs/usr/ports/lang/yap/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/yap/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/lang/yap/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/libdata/pkgconfig NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="/nxb-bin/usr/bin/cc" CFLAGS="-O2 -pipe -march=rv64imafdc -mabi=lp64d -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " CPP="/nxb-bin/usr/bin/cpp" CPPFLAGS="-I/usr/local/include -isystem /usr/local/include" LDFLAGS=" -L/usr/local/lib -fstack-protector-strong " LIBS="-L/usr/local/lib" CXX="/nxb-bin/usr/bin/c++" CXXFLAGS="-O2 -pipe -march=rv64imafdc -mabi=lp64d -fstack-protector-strong -isystem /usr/local/include
-fno-strict-aliasing -isystem /usr/local/include " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444"
--End MAKE_ENV--
--PLIST_SUB--
PORTDOCS="" OSREL=13.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/Yap" EXAMPLESDIR="share/examples/yap" DATADIR="share/Yap" WWWDIR="www/yap" ETCDIR="etc/yap"
--End PLIST_SUB--
--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/Yap DOCSDIR=/usr/local/share/doc/Yap EXAMPLESDIR=/usr/local/share/examples/yap WWWDIR=/usr/local/www/yap ETCDIR=/usr/local/etc/yap
--End SUB_LIST--
---Begin make.conf---
.sinclude "/etc/make.nxb.conf"
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=riscv
MACHINE_ARCH=riscv64
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure. It currently retries the same
# failed mirror and then fails rather then trying another. It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_9d218390=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: riscv64-unknown-freebsd13.0 Thread model: posix InstalledDir: /nxb-bin/usr/bin
_ALTCCVERSION_9d218390=none
_CXXINTERNAL_9c45a5b1=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: riscv64-unknown-freebsd13.0 Thread model: posix InstalledDir: /nxb-bin/usr/bin "/nxb-bin/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--enable-new-dtags" "-m" "elf64lriscv" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_9d218390_58173849=yes
CC_OUTPUT_9d218390_9bdba57c=yes
CC_OUTPUT_9d218390_6a4fe7f5=yes
CC_OUTPUT_9d218390_6bcac02b=yes
CC_OUTPUT_9d218390_67d20829=yes
CC_OUTPUT_9d218390_bfa62e83=yes
CC_OUTPUT_9d218390_f0b4d593=yes
CC_OUTPUT_9d218390_308abb44=yes
CC_OUTPUT_9d218390_f00456e5=yes
CC_OUTPUT_9d218390_65ad290d=yes
CC_OUTPUT_9d218390_f2776b26=yes
CC_OUTPUT_9d218390_b2657cc3=yes
CC_OUTPUT_9d218390_380987f7=yes
CC_OUTPUT_9d218390_160933ec=yes
CC_OUTPUT_9d218390_fb62803b=yes
_OBJC_CCVERSION_9d218390=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: riscv64-unknown-freebsd13.0 Thread model: posix InstalledDir: /nxb-bin/usr/bin
_OBJC_ALTCCVERSION_9d218390=none
ARCH=riscv64
OPSYS=FreeBSD
_OSRELEASE=13.0-RELEASE-p11
OSREL=13.0
OSVERSION=1300139
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
---Begin make.nxb.conf---
CC=/nxb-bin/usr/bin/cc
CPP=/nxb-bin/usr/bin/cpp
CXX=/nxb-bin/usr/bin/c++
NM=/nxb-bin/usr/bin/nm
LD=/nxb-bin/usr/bin/ld
OBJCOPY=/nxb-bin/usr/bin/objcopy
SIZE=/nxb-bin/usr/bin/size
STRIPBIN=/nxb-bin/usr/bin/strip
SED=/nxb-bin/usr/bin/sed
RANLIB=/nxb-bin/usr/bin/ranlib
YACC=/nxb-bin/usr/bin/yacc
MAKE=/nxb-bin/usr/bin/make
STRINGS=/nxb-bin/usr/bin/strings
AWK=/nxb-bin/usr/bin/awk
FLEX=/nxb-bin/usr/bin/flex
---End make.nxb.conf---
--Resource limits--
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 33554432
stack size (kbytes, -s) 524288
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 89999
open files (-n) 1024
virtual mem size (kbytes, -v) unlimited
swap limit (kbytes, -w) unlimited
socket buffer size (bytes, -b) unlimited
pseudo-terminals (-p) unlimited
kqueues (-k) unlimited
umtx shared locks (-o) unlimited
--End resource limits--
=======================<phase: check-sanity >============================
===> License ART20 LGPL20 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> yap-6.2.2_11 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.18.3.pkg
[130releng-riscv64-quarterly-job-11] Installing pkg-1.18.3...
[130releng-riscv64-quarterly-job-11] Extracting pkg-1.18.3: .......... done
===> yap-6.2.2_11 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of yap-6.2.2_11
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> License ART20 LGPL20 accepted by the user
===> Fetching all distfiles required by yap-6.2.2_11 for building
===========================================================================
=======================<phase: checksum >============================
===> License ART20 LGPL20 accepted by the user
===> Fetching all distfiles required by yap-6.2.2_11 for building
=> SHA256 Checksum OK for yap-6.2.2.tar.gz.
=> SHA256 Checksum OK for yap-doc-6.2.2.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
<snip>
(cd packages/http; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/http'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap
rm -f /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/http_chunked.so
install -s -m 555 http_stream.so json.so /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/http
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/http/web/icons
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/web/css
install -m 0644 ./html_write.pl ./http_client.pl ./http_header.pl ./http_mime_plugin.pl ./http_sgml_plugin.pl ./mimepack.pl ./mimetype.pl ./dcg_basics.pl ./thread_httpd.pl ./xpce_httpd.pl ./inetd_httpd.pl ./http_wrapper.pl ./http_open.pl ./http_session.pl ./http_error.pl ./http_parameters.pl ./http_dispatch.pl ./http_authenticate.pl ./http_stream.pl ./http_log.pl ./http_path.pl ./http_hook.pl ./html_head.pl ./http_exception.pl ./json.pl ./http_json.pl ./json_convert.pl ./http_dirindex.pl ./http_server_files.pl ./http_pwp.pl ./http_host.pl ./http_openid.pl ./js_write.pl /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/http
install -m 0644 ./README /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/http
install -m 0644 ./web/icons/*.png /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/http/web/icons
install -m 0644 ./web/css/*.css /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/web/css
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -f none -g make -t halt
% Restoring file /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss
YAP 6.2.2 (riscv64): Tue Aug 23 03:15:00 UTC 2022
yes
% YAP execution halted
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/http'
(cd packages/plunit; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/plunit'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
install -m 0644 ./plunit.pl ./test_wizard.pl ./test_cover.pl /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -f none -g make -t halt
% Restoring file /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss
YAP 6.2.2 (riscv64): Tue Aug 23 03:15:00 UTC 2022
yes
% YAP execution halted
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/plunit'
(cd packages/sgml; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/sgml'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/DTD
for f in HTML4.dcl HTML4.dtd HTML4.soc HTMLlat1.ent HTMLspec.ent HTMLsym.ent; do \
install -m 0644 ./DTD/$f /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/DTD; \
done
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap
install -s -m 555 sgml2pl.so /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap
install -m 0644 ./sgml.pl ./xsdp_types.pl ./iso_639.pl ./sgml_write.pl ./xpath.pl ./pwp.pl ./pltotex.pl /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -f none -g make -t halt
% Restoring file /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss
YAP 6.2.2 (riscv64): Tue Aug 23 03:15:00 UTC 2022
yes
% YAP execution halted
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/sgml'
(cd packages/RDF; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/RDF'
install -m 0644 ./rdf.pl ./rdf_parser.pl ./rdf_triple.pl ./rewrite.pl ./rdf_ntriples.pl ./rdf_write.pl /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -f none -g make -t halt
% Restoring file /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss
YAP 6.2.2 (riscv64): Tue Aug 23 03:15:00 UTC 2022
yes
% YAP execution halted
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/RDF'
(cd packages/semweb; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/semweb'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap
for f in rdf_db.so turtle.so; do \
/usr/bin/install -c -m 755 $f /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap; \
done
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/semweb
for f in ./rdfs.rdfs ./dc.rdfs ./eor.rdfs ./owl.owl ./rdf_library.ttl ./rdf_db.pl ./rdfs.pl ./rdf_edit.pl ./rdf_litindex.pl ./rdf_persistency.pl ./rdf_turtle.pl ./rdf_cache.pl ./rdf_http_plugin.pl ./rdf_zlib_plugin.pl ./rdf_portray.pl ./rdf_compare.pl ./turtle_base.pl ./rdf_turtle_write.pl ./rdf_library.pl ./sparql_client.pl ./README; do \
install -m 0644 $f /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/semweb; \
done
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -f none -g make -t halt
% Restoring file /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss
YAP 6.2.2 (riscv64): Tue Aug 23 03:15:00 UTC 2022
yes
% YAP execution halted
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/semweb'
(cd packages/tai; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/tai'
install -s -m 555 pl-tai.so /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/tai'
(cd packages/zlib; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/zlib'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap
for f in zlib4pl.so; do \
install -s -m 555 $f /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap; \
done
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
for f in ./zlib.pl; do \
install -m 0644 $f /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; \
done
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -f none -g make -t halt
% Restoring file /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss
YAP 6.2.2 (riscv64): Tue Aug 23 03:15:00 UTC 2022
yes
% YAP execution halted
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/zlib'
(cd packages/swi-minisat2/C; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/swi-minisat2/C'
install -s -m 555 pl-minisat.so /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/swi-minisat2/C'
#@# (cd packages/pyswip; gmake install)
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/include/Yap
/usr/bin/install -c ./H/TermExt.h ./H/Atoms.h ./H/Tags_32bits.h ./H/Tags_32Ops.h ./H/Tags_32LowTag.h ./H/Tags_64bits.h ./H/Tags_24bits.h ./H/sshift.h ./H/Yap.h ./H/Yatom.h ./H/YapHeap.h ./H/Regs.h ./H/Yapproto.h ./H/absmi.h ./H/alloc.h ./H/amidefs.h ./H/amiops.h ./H/arrays.h ./H/arith2.h ./H/attvar.h ./H/clause.h ./H/compile.h ./H/corout.h ./H/dlmalloc.h ./H/dglobals.h ./H/dhstruct.h ./H/eval.h ./H/heapgc.h ./H/hglobals.h ./H/hstruct.h ./H/iglobals.h ./H/ihstruct.h ./H/index.h ./H/iopreds.h ./H/iswiatoms.h ./H/rclause.h ./H/rglobals.h ./H/rheap.h ./H/rhstruct.h ./H/threads.h ./H/tracer.h ./H/trim_trail.h ./H/yapio.h ./BEAM/eam.h ./BEAM/eamamasm.h ./OPTYap/opt.config.h ./OPTYap/opt.proto.h ./OPTYap/opt.structs.h ./OPTYap/opt.macros.h ./OPTYap/or.macros.h ./OPTYap/or.sbaamiops.h ./OPTYap/or.sbaunify.h ./OPTYap/tab.structs.h ./OPTYap/locks_x86.h ./OPTYap/locks_sparc.h ./OPTYap/locks_mips.h ./OPTYap/locks_mips_funcs.h ./OPTYap/locks_alpha.h ./OPTYap/locks_alpha_funcs.h ./OPTYap/locks_pth
read.h ./H/cut_c.h ./H/iatoms.h ./H/ratoms.h ./H/tatoms.h ./library/dialect/swi/fli/swi.h ./MYDDAS/myddas.h ./MYDDAS/myddas_structs.h ./MYDDAS/myddas_statistics.h ./MYDDAS/myddas_statistics_structs.h ./MYDDAS/myddas_wkb.h ./MYDDAS/myddas_wkb2prolog.h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/include/Yap
for h in ./include/c_interface.h ./include/clause_list.h ./include/dswiatoms.h ./include/udi.h ./include/rtree_udi.h ./include/yap_structs.h ./include/YapInterface.h ./include/SWI-Prolog.h ./include/SWI-Stream.h; do /usr/bin/install -c $h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/include/Yap; done
/usr/bin/install -c config.h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/include/Yap/config.h
/usr/bin/install -c parms.h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/include/Yap/parms.h
(cd library ; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/library'
count=`echo "-DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 " | grep MYDDAS | wc -l`; \
if [ $count -ne 0 ]; then \
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; \
for p in ./MYDDAS/myddas.ypp ./MYDDAS/myddas_assert_predicates.ypp ./MYDDAS/myddas_mysql.ypp ./MYDDAS/myddas_top_level.ypp ./MYDDAS/myddas_errors.ypp ./MYDDAS/myddas_prolog2sql.ypp ./MYDDAS/myddas_util_predicates.ypp ./MYDDAS/myddas_prolog2sql_optimizer.ypp; \
do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; \
done; \
for p in /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/myddas*.ypp; \
do name=`basename $p .ypp`; \
cpp -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -P -E -w $p > /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/$name.yap; \
rm -fr $p; \
done; \
fi
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/dialect
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/dialect/swi
for p in ./INDEX.pl ./apply.yap ./apply_macros.yap ./arg.yap ./assoc.yap ./atts.yap ./autoloader.yap ./avl.yap ./bhash.yap ./charsio.yap ./cleanup.yap ./clp/clpfd.pl ./coinduction.yap ./dbqueues.yap ./dbusage.yap ./dgraphs.yap ./expand_macros.yap ./gensym.yap ./hacks.yap ./heaps.yap ./lambda.pl ./lineutils.yap ./lists.yap ./nb.yap ./ordsets.yap ./maplist.yap ./matlab.yap ./matrix.yap ./prandom.yap ./queues.yap ./random.yap ./r_session.yap ./rbtrees.yap ./readutil.yap ./regexp.yap ./rltree.yap ./splay.yap ./stringutils.yap ./system.yap ./terms.yap ./tries.yap ./itries.yap ./timeout.yap ./trees.yap ./ugraphs.yap ./undgraphs.yap ./varnumbers.yap ./wdgraphs.yap ./wgraphs.yap ./wundgraphs.yap ./lam_mpi.yap ./ypp.yap ./c_alarms.yap ./flags.yap ./block_diagram.yap; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; done
for p in ./dialect/commons.yap ./dialect/hprolog.yap ./dialect/swi.yap; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/dialect; done
for p in ./dialect/swi/INDEX.pl ./dialect/swi/listing.pl ./dialect/swi/readutil.pl; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/dialect/swi; done
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/library'
(cd packages/swi-minisat2; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/swi-minisat2'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/minisat_examples
for p in ./cnf.pl ./minisat.pl; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; done
for p in ./examples/adder.pl ./examples/pearl_examples.pl; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/minisat_examples; done
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/swi-minisat2'
(cd LGPL ; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/LGPL'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
for p in ./base64.pl ./broadcast.pl ./date.pl ./debug.pl ./maplist.pl ./nb_set.pl ./operators.pl ./option.pl ./prolog_source.pl ./prolog_xref.pl ./quintus.pl ./record.pl ./settings.pl ./shlib.pl ./url.pl ./utf8.pl; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; done
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/LGPL'
(cd GPL ; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/GPL'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
for p in ./aggregate.pl ./ctypes.pl ./error.pl ./occurs.yap ./pairs.pl; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; done
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/GPL'
install -m 0644 ./LGPL/pillow/icon_address.pl /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/
install -m 0644 ./LGPL/pillow/pillow.pl /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/
(cd LGPL/clp ; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/LGPL/clp'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clp
for p in ./clp_events.pl; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clp; done
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/LGPL/clp'
(cd packages/CLPBN ; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/CLPBN'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clpbn
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clpbn/learning
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clpbn/examples/School
for h in ./clpbn.yap; do install -m 0644 $h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; done
for h in ./clpbn/aggregates.yap ./clpbn/bnt.yap ./clpbn/bp.yap ./clpbn/connected.yap ./clpbn/discrete_utils.yap ./clpbn/display.yap ./clpbn/dists.yap ./clpbn/evidence.yap ./clpbn/gibbs.yap ./clpbn/graphs.yap ./clpbn/graphviz.yap ./clpbn/hmm.yap ./clpbn/jt.yap ./clpbn/matrix_cpt_utils.yap ./clpbn/pgrammar.yap ./clpbn/table.yap ./clpbn/topsort.yap ./clpbn/utils.yap ./clpbn/vel.yap ./clpbn/viterbi.yap ./clpbn/xbif.yap; do install -m 0644 $h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clpbn; done
for h in ./learning/aleph_parms.yap ./learning/bnt_parms.yap ./learning/em.yap ./learning/learn_utils.yap ./learning/mle.yap; do install -m 0644 $h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clpbn/learning; done
install: ./learning/aleph_parms.yap: No such file or directory
for h in ./clpbn/examples/cg.yap ./clpbn/examples/sprinkler.yap; do install -m 0644 $h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clpbn/examples; done
for h in ./clpbn/examples/School/README ./clpbn/examples/School/evidence_128.yap ./clpbn/examples/School/schema.yap ./clpbn/examples/School/school_128.yap ./clpbn/examples/School/school_32.yap ./clpbn/examples/School/school_64.yap ./clpbn/examples/School/tables.yap; do install -m 0644 $h /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/clpbn/examples/School; done
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/CLPBN'
(cd packages/ProbLog ; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/ProbLog'
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/problog
mkdir -p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/problog_examples
for p in ./problog.yap ./problog_lfi.yap ./dtproblog.yap ./aproblog.yap ./problog_learning.yap; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap; done
for p in ./problog/extlists.yap ./problog/flags.yap ./problog/gflags.yap ./problog/grounder.yap ./problog/hash_table.yap ./problog/intervals.yap ./problog/logger.yap ./problog/mc_DNF_sampling.yap ./problog/os.yap ./problog/print.yap ./problog/sampling.yap ./problog/tabling.yap ./problog/timer.yap ./problog/ptree.yap ./problog/variable_elimination.yap ./problog/print_learning.yap ./problog/utils_learning.yap ./problog/version_control.yap ./problog/nestedtries.yap ./problog/utils.yap ./problog/ad_converter.yap ./problog/termhandling.yap ./problog/completion.yap ./problog/discrete.yap ./problog/bdd.yap ./problog/variables.yap; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/problog; done
for p in ./problog_examples/alarm.pl ./problog_examples/graph.pl ./problog_examples/graph_tabled.pl ./problog_examples/learn_graph.pl ./problog_examples/office.pl ./problog_examples/viralmarketing.pl ./problog_examples/aProbLog_examples.pl ./problog_examples/viralmarketing_tabled.pl; do install -m 0644 $p /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap/problog_examples; done
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/ProbLog'
(cd packages/chr ; gmake install)
gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/chr'
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -q -f ./chr_swi_bootstrap.pl \
-g "chr_compile_step1('chr_translate_bootstrap1.chr','chr_translate_bootstrap1.pl'),halt" \
-t 'halt(1)'
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -q -f ./chr_swi_bootstrap.pl \
-g "chr_compile_step2('chr_translate_bootstrap1.chr','chr_translate_bootstrap1.pl'),halt" \
-t 'halt(1)'
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -q -f ./chr_swi_bootstrap.pl \
-g "chr_compile_step2('chr_translate_bootstrap2.chr','chr_translate_bootstrap2.pl'),halt" \
-t 'halt(1)'
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -q -f ./chr_swi_bootstrap.pl \
-g "chr_compile_step3('chr_translate_bootstrap2.chr','chr_translate_bootstrap2.pl'),halt" \
-t 'halt(1)'
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -q -f ./chr_swi_bootstrap.pl \
-g "chr_compile_step3('guard_entailment.chr','guard_entailment.pl'),halt" \
-t 'halt(1)'
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -q -f ./chr_swi_bootstrap.pl \
-g "chr_compile_step3('chr_translate.chr','chr_translate.pl'),halt" \
-t 'halt(1)'
LD_LIBRARY_PATH=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib:/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap: YAPSHAREDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/share/Yap YAPLIBDIR=/wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/bin/yap /wrkdirs/usr/ports/lang/yap/work/stage/usr/local/lib/Yap/startup.yss -p chr=. -q -f ./chr_swi_bootstrap.pl \
-g "chr_compile_step4('guard_entailment.chr','guard_entailment.pl'),halt" \
-t 'halt(1)'
ERROR!!
EXISTENCE ERROR- procedure chr_translate/2 is undefined, called from context prolog:once/1
Goal was chr:chr_translate([(:-module(guard_entailment,[entails_guard/2,simplify_guards/5])),(:-include(chr_op)),(:-use_module(library(dialect/hprolog))),(:-use_module(builtins)),(:-use_module(chr_compiler_errors)),(:-chr_option(debug,off)),(:-chr_option(optimize,full)),(:-chr_option(verbosity,off)),(:-chr_constraint((known/1,test/1,cleanup/0,variables/1))),(entails_guard(_131737,_131738):-copy_term_nat((_131737,_131738),(_131749,_131750)),term_variables(_131749,_131756),variables(_131756),sort(_131749,_131767),entails_guard2(_131767),!,test(_131750),!,cleanup),entails_guard2([]),(entails_guard2([_131795|_131796]):-known(_131795),entails_guard2(_131796)),(simplify_guards(_131810,_131811,_131812,_131813,_131814):-copy_term_nat((_131810,_131812),(_131825,_131826)),term_variables(_131825,_131832),variables(_131832),sort(_131825,_131843),entails_guard2(_131843),!,simplify(_131826,_131857),simplified(_131812,_131857,_131813,_131811,_131814),!,cleanup),simplified([],[],[],
_131876,_131876),(simplified([_131889|_131890],[keep|_131892],[_131889|_131894],_131887,_131888):-simplified(_131890,_131892,_131894,_131887,_131888)),simplified([_131909|_131910],[fail|_131912],fail,_131907,_131907),(simplified([_131924|_131925],[true|_131927],[_131928|_131929],_131922,_131923):-builtins:binds_b(_131924,_131938),term_variables(_131925,_131944),intersect_eq(_131938,_131944,_131951),!,(_131951=[]->term_variables(_131922,_131972),intersect_eq(_131938,_131972,_131979),!,(_131979=[]->_131928=true,_131923=_132000;_131928=true,_131923=(_131924,_132000));_131928=_131924,_131923=_132000),simplified(_131925,_131927,_131929,_131922,_132000)),simplify([],[]),(simplify([_132041|_132042],[_132043|_132044]):-(\+try(true,_132041)->_132043=true;builtins:negate_b(_132041,_132070),(\+try(true,_132070)->_132043=fail;_132043=keep)),known(_132041),simplify(_132042,_132044)),(try(_132102,_132103):-(known(_132102)->true;chr_error(internal,Entailment Checker: try/2.
,[])),(test(_132103)->fail;true)),add_args_unif([],[],true),(add_args_unif([_132142|_132143],[_132144|_132145],(_132142=_132144,_132148)):-add_args_unif(_132143,_132145,_132148)),add_args_nunif([],[],fail),(add_args_nunif([_132171|_132172],[_132173|_132174],(_132171\=_132173;_132177)):-add_args_nunif(_132172,_132174,_132177)),add_args_nmatch([],[],fail),(add_args_nmatch([_132200|_132201],[_132202|_132203],(_132200\==_132202;_132206)):-add_args_nmatch(_132201,_132203,_132206)),(all_unique_vars(_132220,_132221):-all_unique_vars(_132220,_132221,[])),all_unique_vars([],_132230,_132231),(all_unique_vars([_132241|_132242],_132239,_132240):-var(_132241),\+memberchk_eq(_132241,_132239),\+memberchk_eq(_132241,_132240),all_unique_vars(_132242,[_132241|_132240])),(:-chr_constraint((test/1_1_$default/1,test/1_1_$special_,/2/2,test/1_1_$special_\+/1/1,test/1_1_$special_integer/1/1,test/1_1_$special_float/1/1,test/1_1_$special_number/1/1,test/1_1_$special_ground/1/1,test/1_1_$special_=:=/2/2,test/
1_1_$special_==/2/2,test/1_1_$special_true/0/0,test/1_1_$special_functor/3/3,test/1_1_$special_=/2/2,test/1_1_$special_;/2/2,test/1_1_$special_is/2/2,test/1_1_$special_</2/2,test/1_1_$special_>=/2/2,test/1_1_$special_>/2/2,test/1_1_$special_=\=/2/2,test/1_1_$special_=</2/2,test/1_1_$special_\==/2/2,known/1_1_$default/1,known/1_1_$special_;/2/2,known/1_1_$special_nonvar/1/1,known/1_1_$special_var/1/1,known/1_1_$special_atom/1/1,known/1_1_$special_atomic/1/1,known/1_1_$special_compound/1/1,known/1_1_$special_ground/1/1,known/1_1_$special_integer/1/1,known/1_1_$special_float/1/1,known/1_1_$special_number/1/1,known/1_1_$special_=\=/2/2,known/1_1_$special_\+/1/1,known/1_1_$special_functor/3/3,known/1_1_$special_\=/2/2,known/1_1_$special_=/2/2,known/1_1_$special_,/2/2,known/1_1_$special_\==/2/2,known/1_1_$special_==/2/2,known/1_1_$special_is/2/2,known/1_1_$special_</2/2,known/1_1_$special_>=/2/2,known/1_1_$special_>/2/2,known/1_1_$special_=</2/2,known/1_1_$special_=:=/2/2,known/1_1_$speci
al_fail/0/0))),<=>(test((_132556,_132557)),t!
est/1_1_$special_,/2(_132556,_132557)),<=>(test(\+_132569),test/1_1_$special_\+/1(_132569)),<=>(test(integer(_132580)),test/1_1_$special_integer/1(_132580)),<=>(test(float(_132591)),test/1_1_$special_float/1(_132591)),<=>(test(number(_132602)),test/1_1_$special_number/1(_132602)),<=>(test(ground(_132613)),test/1_1_$special_ground/1(_132613)),<=>(test(_132624=:=_132625),test/1_1_$special_=:=/2(_132624,_132625)),<=>(test(_132637==_132638),test/1_1_$special_==/2(_132637,_132638)),<=>(test(true),test/1_1_$special_true/0),<=>(test(functor(_132657,_132658,_132659)),test/1_1_$special_functor/3(_132657,_132658,_132659)),<=>(test(_132672=_132673),test/1_1_$special_=/2(_132672,_132673)),<=>(test((_132685;_132686)),test/1_1_$special_;/2(_132685,_132686)),<=>(test(_132698 is _132699),test/1_1_$special_is/2(_132698,_132699)),<=>(test(_132711<_132712),test/1_1_$special_</2(_132711,_132712)),<=>(test(_132724>=_132725),test/1_1_$special_>=/2(_132724,_132725)),<=>(test(_132737>_132738),test/1_1_$spe
cial_>/2(_132737,_132738)),<=>(test(_132750=\=_132751),test/1_1_$special_=\=/2(_132750,_132751)),<=>(test(_132763=<_132764),test/1_1_$special_=</2(_132763,_132764)),<=>(test(_132776\==_132777),test/1_1_$special_\==/2(_132776,_132777)),<=>(test(_132787),test/1_1_$default(_132787)),<=>(known((_132798;_132799)),known/1_1_$special_;/2(_132798,_132799)),<=>(known(nonvar(_132811)),known/1_1_$special_nonvar/1(_132811)),<=>(known(var(_132822)),known/1_1_$special_var/1(_132822)),<=>(known(atom(_132833)),known/1_1_$special_atom/1(_132833)),<=>(known(atomic(_132844)),known/1_1_$special_atomic/1(_132844)),<=>(known(compound(_132855)),known/1_1_$special_compound/1(_132855)),<=>(known(ground(_132866)),known/1_1_$special_ground/1(_132866)),<=>(known(integer(_132877)),known/1_1_$special_integer/1(_132877)),<=>(known(float(_132888)),known/1_1_$special_float/1(_132888)),<=>(known(number(_132899)),known/1_1_$special_number/1(_132899)),<=>(known(_132910=\=_132911),known/1_1_$special_=\=/2(_132910,_1329
11)),<=>(known(\+_132923),known/1_1_$special!
_\+/1(_13!
2923)),<=>(known(functor(_132934,_132935,_132936)),known/1_1_$special_functor/3(_132934,_132935,_132936)),<=>(known(_132949\=_132950),known/1_1_$special_\=/2(_132949,_132950)),<=>(known(_132962=_132963),known/1_1_$special_=/2(_132962,_132963)),<=>(known((_132975,_132976)),known/1_1_$special_,/2(_132975,_132976)),<=>(known(_132988\==_132989),known/1_1_$special_\==/2(_132988,_132989)),<=>(known(_133001==_133002),known/1_1_$special_==/2(_133001,_133002)),<=>(known(_133014 is _133015),known/1_1_$special_is/2(_133014,_133015)),<=>(known(_133027<_133028),known/1_1_$special_</2(_133027,_133028)),<=>(known(_133040>=_133041),known/1_1_$special_>=/2(_133040,_133041)),<=>(known(_133053>_133054),known/1_1_$special_>/2(_133053,_133054)),<=>(known(_133066=<_133067),known/1_1_$special_=</2(_133066,_133067)),<=>(known(_133079=:=_133080),known/1_1_$special_=:=/2(_133079,_133080)),<=>(known(fail),known/1_1_$special_fail/0),<=>(known(_133097),known/1_1_$default(_133097)),<=>(\(known/1_1_$special_;/2(_
133109,_133110),known/1_1_$special_;/2(_133109,_133110)),true),<=>(\(known/1_1_$special_nonvar/1(_133123),known/1_1_$special_nonvar/1(_133123)),true),<=>(\(known/1_1_$special_var/1(_133135),known/1_1_$special_var/1(_133135)),true),<=>(\(known/1_1_$special_atom/1(_133147),known/1_1_$special_atom/1(_133147)),true),<=>(\(known/1_1_$special_atomic/1(_133159),known/1_1_$special_atomic/1(_133159)),true),<=>(\(known/1_1_$special_compound/1(_133171),known/1_1_$special_compound/1(_133171)),true),<=>(\(known/1_1_$special_ground/1(_133183),known/1_1_$special_ground/1(_133183)),true),<=>(\(known/1_1_$special_integer/1(_133195),known/1_1_$special_integer/1(_133195)),true),<=>(\(known/1_1_$special_float/1(_133207),known/1_1_$special_float/1(_133207)),true),<=>(\(known/1_1_$special_number/1(_133219),known/1_1_$special_number/1(_133219)),true),<=>(\(known/1_1_$special_=\=/2(_133231,_133232),known/1_1_$special_=\=/2(_133231,_133232)),true),<=>(\(known/1_1_$special_\+/1(_133245),known/1_1_$special_\+
/1(_133245)),true),<=>(\(known/1_1_$special_!
functor/3!
(_133257,_133258,_133259),known/1_1_$special_functor/3(_133257,_133258,_133259)),true),<=>(\(known/1_1_$special_\=/2(_133273,_133274),known/1_1_$special_\=/2(_133273,_133274)),true),<=>(\(known/1_1_$special_=/2(_133287,_133288),known/1_1_$special_=/2(_133287,_133288)),true),<=>(\(known/1_1_$special_,/2(_133301,_133302),known/1_1_$special_,/2(_133301,_133302)),true),<=>(\(known/1_1_$special_\==/2(_133315,_133316),known/1_1_$special_\==/2(_133315,_133316)),true),<=>(\(known/1_1_$special_==/2(_133329,_133330),known/1_1_$special_==/2(_133329,_133330)),true),<=>(\(known/1_1_$special_is/2(_133343,_133344),known/1_1_$special_is/2(_133343,_133344)),true),<=>(\(known/1_1_$special_</2(_133357,_133358),known/1_1_$special_</2(_133357,_133358)),true),<=>(\(known/1_1_$special_>=/2(_133371,_133372),known/1_1_$special_>=/2(_133371,_133372)),true),<=>(\(known/1_1_$special_>/2(_133385,_133386),known/1_1_$special_>/2(_133385,_133386)),true),<=>(\(known/1_1_$special_=</2(_133399,_133400),known/1_1_$spe
cial_=</2(_133399,_133400)),true),<=>(\(known/1_1_$special_=:=/2(_133413,_133414),known/1_1_$special_=:=/2(_133413,_133414)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_fail/0),true),<=>(\(known/1_1_$default(_133435),known/1_1_$default(_133435)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_,/2(_133447,_133448)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_\+/1(_133458)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_integer/1(_133468)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_float/1(_133478)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_number/1(_133488)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_ground/1(_133498)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_=:=/2(_133508,_133509)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_==/2(_133519,_133520)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_true/0),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_functor/3(
_133538,_133539,_133540)),true),<=>(\(known/!
1_1_$spec!
ial_fail/0,test/1_1_$special_=/2(_133550,_133551)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_;/2(_133561,_133562)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_is/2(_133572,_133573)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_</2(_133583,_133584)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_>=/2(_133594,_133595)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_>/2(_133605,_133606)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_=\=/2(_133616,_133617)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_=</2(_133627,_133628)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_\==/2(_133638,_133639)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$default(_133649)),true),<=>(\(known/1_1_$special_;/2(_133659,_133660),test/1_1_$special_;/2(_133659,_133660)),true),<=>(\(known/1_1_$special_nonvar/1(_133673),test/1_1_$default(nonvar(_133673))),true),<=>(\(known/1_1_$special_var/1(_133687),test/1_1_$default(var(_133
687))),true),<=>(\(known/1_1_$special_atom/1(_133701),test/1_1_$default(atom(_133701))),true),<=>(\(known/1_1_$special_atomic/1(_133715),test/1_1_$default(atomic(_133715))),true),<=>(\(known/1_1_$special_compound/1(_133729),test/1_1_$default(compound(_133729))),true),<=>(\(known/1_1_$special_ground/1(_133743),test/1_1_$special_ground/1(_133743)),true),<=>(\(known/1_1_$special_integer/1(_133755),test/1_1_$special_integer/1(_133755)),true),<=>(\(known/1_1_$special_float/1(_133767),test/1_1_$special_float/1(_133767)),true),<=>(\(known/1_1_$special_number/1(_133779),test/1_1_$special_number/1(_133779)),true),<=>(\(known/1_1_$special_=\=/2(_133791,_133792),test/1_1_$special_=\=/2(_133791,_133792)),true),<=>(\(known/1_1_$special_\+/1(_133805),test/1_1_$special_\+/1(_133805)),true),<=>(\(known/1_1_$special_functor/3(_133817,_133818,_133819),test/1_1_$special_functor/3(_133817,_133818,_133819)),true),<=>(\(known/1_1_$special_\=/2(_133833,_133834),test/1_1_$default(_133833\=_133834)),true),<
=>(\(known/1_1_$special_=/2(_133849,_133850)!
,test/1_1!
_$special_=/2(_133849,_133850)),true),<=>(\(known/1_1_$special_,/2(_133863,_133864),test/1_1_$special_,/2(_133863,_133864)),true),<=>(\(known/1_1_$special_\==/2(_133877,_133878),test/1_1_$special_\==/2(_133877,_133878)),true),<=>(\(known/1_1_$special_==/2(_133891,_133892),test/1_1_$special_==/2(_133891,_133892)),true),<=>(\(known/1_1_$special_is/2(_133905,_133906),test/1_1_$special_is/2(_133905,_133906)),true),<=>(\(known/1_1_$special_</2(_133919,_133920),test/1_1_$special_</2(_133919,_133920)),true),<=>(\(known/1_1_$special_>=/2(_133933,_133934),test/1_1_$special_>=/2(_133933,_133934)),true),<=>(\(known/1_1_$special_>/2(_133947,_133948),test/1_1_$special_>/2(_133947,_133948)),true),<=>(\(known/1_1_$special_=</2(_133961,_133962),test/1_1_$special_=</2(_133961,_133962)),true),<=>(\(known/1_1_$special_=:=/2(_133975,_133976),test/1_1_$special_=:=/2(_133975,_133976)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$default(fail)),true),<=>(\(known/1_1_$default(_133999),test/1_1_$default(
_133999)),true),<=>(test/1_1_$special_\==/2(_134008,_134009),(nonvar(_134009),functor(_134009,_134020,_134021)| _134009=..[_134028|_134029],length(_134034,_134021),_134040=..[_134020|_134034],add_args_nmatch(_134034,_134029,_134050),_134055=(\+functor(_134008,_134020,_134021);functor(_134008,_134020,_134021),_134008=_134040,_134050),test(_134055))),<=>(test/1_1_$special_\==/2(_134087,_134088),(nonvar(_134087)| test/1_1_$special_\==/2(_134088,_134087))),<=>(\(known/1_1_$special_=:=/2(_134106,_134107),test/1_1_$special_=</2(_134106,_134107)),true),<=>(\(known/1_1_$special_=:=/2(_134120,_134121),test/1_1_$special_=</2(_134120,_134124)),(number(_134124),number(_134121),_134121=<_134124 | true)),<=>(\(known/1_1_$special_=:=/2(_134150,_134151),test/1_1_$special_=</2(_134153,_134150)),(number(_134153),number(_134151),_134153=<_134151 | true)),<=>(\(known/1_1_$special_=</2(_134180,_134181),test/1_1_$special_=</2(_134180,_134184)),(number(_134184),number(_134181),_134181=<_134184 | true)),<=
>(\(known/1_1_$special_=</2(_134210,_134211)!
,test/1_1!
_$special_=</2(_134213,_134211)),(number(_134210),number(_134213),_134213=<_134210 | true)),<=>(\(known/1_1_$special_=</2(_134240,_134241),test/1_1_$special_=\=/2(_134240,_134244)),(number(_134244),number(_134241),_134244>_134241 | true)),<=>(\(known/1_1_$special_=</2(_134270,_134271),test/1_1_$special_=\=/2(_134271,_134274)),(number(_134270),number(_134274),_134274<_134270 | true)),<=>(known/1_1_$special_>/2(_134297,_134298),known/1_1_$special_</2(_134298,_134297)),<=>(known/1_1_$special_>=/2(_134308,_134309),known/1_1_$special_=</2(_134309,_134308)),<=>(known/1_1_$special_</2(_134319,_134320),(known/1_1_$special_=</2(_134319,_134320),known/1_1_$special_=\=/2(_134319,_134320))),<=>(known/1_1_$special_is/2(_134336,_134337),known/1_1_$special_=:=/2(_134336,_134337)),<=>(test/1_1_$special_>/2(_134347,_134348),test/1_1_$special_</2(_134348,_134347)),<=>(test/1_1_$special_>=/2(_134358,_134359),test/1_1_$special_=</2(_134359,_134358)),<=>(test/1_1_$special_</2(_134369,_134370),test/1_1_$
special_,/2(_134369=<_134370,_134369=\=_134370)),<=>(test/1_1_$special_is/2(_134386,_134387),test/1_1_$special_=:=/2(_134386,_134387)),==>(known/1_1_$special_==/2(_134397,_134398),(number(_134397)| known/1_1_$special_=:=/2(_134397,_134398))),==>(known/1_1_$special_==/2(_134413,_134414),(number(_134414)| known/1_1_$special_=:=/2(_134413,_134414))),==>(known/1_1_$special_\==/2(_134429,_134430),(number(_134429)| known/1_1_$special_=\=/2(_134429,_134430))),==>(known/1_1_$special_\==/2(_134445,_134446),(number(_134446)| known/1_1_$special_=\=/2(_134445,_134446))),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_;/2(_134464,_134465)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_nonvar/1(_134475)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_var/1(_134485)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_atom/1(_134495)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_atomic/1(_134505)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_com
pound/1(_134515)),true),<=>(\(known/1_1_$spe!
cial_fail!
/0,known/1_1_$special_ground/1(_134525)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_integer/1(_134535)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_float/1(_134545)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_number/1(_134555)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_=\=/2(_134565,_134566)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_\+/1(_134576)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_functor/3(_134586,_134587,_134588)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_\=/2(_134598,_134599)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_=/2(_134609,_134610)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_,/2(_134620,_134621)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_\==/2(_134631,_134632)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_==/2(_134642,_134643)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_is/2(_134653,_134654)),tru
e),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_</2(_134664,_134665)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_>=/2(_134675,_134676)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_>/2(_134686,_134687)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_=</2(_134697,_134698)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_=:=/2(_134708,_134709)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_fail/0),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$default(_134727)),true),<=>(known/1_1_$special_,/2(_134734,_134735),(known(_134734),known(_134735))),<=>(known/1_1_$special_=:=/2(_134749,_134749),true),<=>(known/1_1_$special_==/2(_134757,_134757),true),<=>(known/1_1_$special_=</2(_134765,_134765),true),<=>(known/1_1_$special_=/2(_134773,_134773),true),<=>(known/1_1_$special_=/2(_134781,_134782),(var(_134781)| _134781=_134782)),<=>(known/1_1_$special_=/2(_134797,_134798),(var(_134798)| _134797=_134798)),<=>(known/1_1_$special_\=/2(
_134813,_134814),(ground(_134813),ground(_13!
4814),_13!
4813=_134814 | known/1_1_$special_fail/0)),<=>((variables(_134840),known/1_1_$special_functor/3(_134842,_134843,_134844)),(var(_134842),ground(_134843),ground(_134844)| functor(_134842,_134843,_134844),_134842=..[_134873|_134874],append(_134874,_134840,_134881),variables(_134881))),<=>(known/1_1_$special_functor/3(_134890,_134891,_134892),(nonvar(_134890),\+functor(_134890,_134891,_134892)| known/1_1_$special_fail/0)),<=>(known/1_1_$special_\+/1(functor(_134915,_134916,_134917)),(nonvar(_134915),functor(_134915,_134916,_134917)| known/1_1_$special_fail/0)),<=>((known/1_1_$special_functor/3(_134939,_134940,_134941),known/1_1_$special_functor/3(_134939,_134944,_134945)),(nonvar(_134940),nonvar(_134941),nonvar(_134944),nonvar(_134945)| known/1_1_$special_fail/0)),<=>(known/1_1_$special_\=/2(_134972,_134972),known/1_1_$special_fail/0),<=>(known/1_1_$special_=/2(_134980,_134981),(nonvar(_134980),nonvar(_134981),functor(_134980,_134997,_134998)| functor(_134981,_134997,_134998),_134980=_1
34981->true;known/1_1_$special_fail/0)),<=>(known/1_1_$special_\=/2(_135021,_135022),(var(_135021),nonvar(_135022),functor(_135022,_135041,_135042),_135042>0 | length(_135050,_135042),_135022=..[_135041|_135059],_135064=..[_135041|_135050],add_args_nunif(_135059,_135050,_135074),_135079=(\+functor(_135021,_135041,_135042);_135021=_135064,_135074),known(_135079))),<=>(known/1_1_$special_\=/2(_135104,_135105),(nonvar(_135104),nonvar(_135105),functor(_135104,_135121,_135122)| functor(_135105,_135121,_135122)->_135104=..[_135121|_135140],_135105=..[_135121|_135148],add_args_nunif(_135140,_135148,_135155),known(_135155);true)),==>(known/1_1_$special_\=/2(_135164,_135165),known/1_1_$special_\=/2(_135165,_135164)),<=>(known/1_1_$special_=</2(_135175,_135176),(number(_135175),number(_135176),_135175>_135176 | known/1_1_$special_fail/0)),<=>(\(known/1_1_$special_=</2(_135202,_135203),known/1_1_$special_=</2(_135202,_135206)),(number(_135203),number(_135206),_135203=<_135206 | true)),<=>(\(kn
own/1_1_$special_=</2(_135232,_135233),known!
/1_1_$spe!
cial_=</2(_135235,_135233)),(number(_135235),number(_135232),_135235=<_135232 | true)),<=>((known/1_1_$special_=</2(_135262,_135263),known/1_1_$special_=</2(_135263,_135262)),known/1_1_$special_=:=/2(_135262,_135263)),==>((known/1_1_$special_=</2(_135279,_135280),known/1_1_$special_=</2(_135280,_135283)),known/1_1_$special_=</2(_135279,_135283)),==>((known/1_1_$special_=</2(_135296,_135297),known/1_1_$special_=\=/2(_135296,_135297),known/1_1_$special_=</2(_135297,_135309),known/1_1_$special_=\=/2(_135297,_135309)),known/1_1_$special_=\=/2(_135296,_135309)),<=>(known/1_1_$special_=:=/2(_135322,_135323),(number(_135322),number(_135323),_135322=\=_135323 | known/1_1_$special_fail/0)),<=>(known/1_1_$special_=\=/2(_135346,_135347),(number(_135346),number(_135347),_135346=:=_135347 | known/1_1_$special_fail/0)),<=>(known/1_1_$special_=\=/2(_135370,_135370),known/1_1_$special_fail/0),<=>((known/1_1_$special_=:=/2(_135381,_135382),known/1_1_$special_=\=/2(_135381,_135382)),known/1_1_$specia
l_fail/0),==>((known/1_1_$special_=:=/2(_135395,_135396),known/1_1_$special_=:=/2(_135396,_135399)),(_135395\==_135399 | known/1_1_$special_=:=/2(_135395,_135399))),==>(known/1_1_$special_=:=/2(_135415,_135416),known/1_1_$special_=:=/2(_135416,_135415)),==>(known/1_1_$special_=\=/2(_135426,_135427),known/1_1_$special_=\=/2(_135427,_135426)),<=>(known/1_1_$special_number/1(_135437),(nonvar(_135437),\+number(_135437)| known/1_1_$special_fail/0)),<=>(known/1_1_$special_float/1(_135456),(nonvar(_135456),\+float(_135456)| known/1_1_$special_fail/0)),<=>(known/1_1_$special_integer/1(_135475),(nonvar(_135475),\+integer(_135475)| known/1_1_$special_fail/0)),==>(known/1_1_$special_integer/1(_135494),known/1_1_$special_number/1(_135494)),==>(known/1_1_$special_float/1(_135503),known/1_1_$special_number/1(_135503)),<=>((known/1_1_$special_;/2(_135515,_135516),known/1_1_$special_\+/1((_135515;_135516))),known/1_1_$special_fail/0),<=>((known/1_1_$special_nonvar/1(_135531),known/1_1_$special_\+/1
(nonvar(_135531))),known/1_1_$special_fail/0!
),<=>((kn!
own/1_1_$special_var/1(_135545),known/1_1_$special_\+/1(var(_135545))),known/1_1_$special_fail/0),<=>((known/1_1_$special_atom/1(_135559),known/1_1_$special_\+/1(atom(_135559))),known/1_1_$special_fail/0),<=>((known/1_1_$special_atomic/1(_135573),known/1_1_$special_\+/1(atomic(_135573))),known/1_1_$special_fail/0),<=>((known/1_1_$special_compound/1(_135587),known/1_1_$special_\+/1(compound(_135587))),known/1_1_$special_fail/0),<=>((known/1_1_$special_ground/1(_135601),known/1_1_$special_\+/1(ground(_135601))),known/1_1_$special_fail/0),<=>((known/1_1_$special_integer/1(_135615),known/1_1_$special_\+/1(integer(_135615))),known/1_1_$special_fail/0),<=>((known/1_1_$special_float/1(_135629),known/1_1_$special_\+/1(float(_135629))),known/1_1_$special_fail/0),<=>((known/1_1_$special_number/1(_135643),known/1_1_$special_\+/1(number(_135643))),known/1_1_$special_fail/0),<=>((known/1_1_$special_=\=/2(_135657,_135658),known/1_1_$special_\+/1(_135657=\=_135658)),known/1_1_$special_fail/0),<=>(
(known/1_1_$special_\+/1(_135673),known/1_1_$special_\+/1(\+_135673)),known/1_1_$special_fail/0),<=>((known/1_1_$special_functor/3(_135687,_135688,_135689),known/1_1_$special_\+/1(functor(_135687,_135688,_135689))),known/1_1_$special_fail/0),<=>((known/1_1_$special_\=/2(_135705,_135706),known/1_1_$special_\+/1(_135705\=_135706)),known/1_1_$special_fail/0),<=>((known/1_1_$special_=/2(_135721,_135722),known/1_1_$special_\+/1(_135721=_135722)),known/1_1_$special_fail/0),<=>((known/1_1_$special_,/2(_135737,_135738),known/1_1_$special_\+/1((_135737,_135738))),known/1_1_$special_fail/0),<=>((known/1_1_$special_\==/2(_135753,_135754),known/1_1_$special_\+/1(_135753\==_135754)),known/1_1_$special_fail/0),<=>((known/1_1_$special_==/2(_135769,_135770),known/1_1_$special_\+/1(_135769==_135770)),known/1_1_$special_fail/0),<=>((known/1_1_$special_is/2(_135785,_135786),known/1_1_$special_\+/1(_135785 is _135786)),known/1_1_$special_fail/0),<=>((known/1_1_$special_</2(_135801,_135802),known/1_1_$s
pecial_\+/1(_135801<_135802)),known/1_1_$spe!
cial_fail!
/0),<=>((known/1_1_$special_>=/2(_135817,_135818),known/1_1_$special_\+/1(_135817>=_135818)),known/1_1_$special_fail/0),<=>((known/1_1_$special_>/2(_135833,_135834),known/1_1_$special_\+/1(_135833>_135834)),known/1_1_$special_fail/0),<=>((known/1_1_$special_=</2(_135849,_135850),known/1_1_$special_\+/1(_135849=<_135850)),known/1_1_$special_fail/0),<=>((known/1_1_$special_=:=/2(_135865,_135866),known/1_1_$special_\+/1(_135865=:=_135866)),known/1_1_$special_fail/0),<=>((known/1_1_$special_fail/0,known/1_1_$special_\+/1(fail)),known/1_1_$special_fail/0),<=>((known/1_1_$default(_135891),known/1_1_$special_\+/1(_135891)),known/1_1_$special_fail/0),<=>((known/1_1_$special_\==/2(_135903,_135904),known/1_1_$special_==/2(_135903,_135904)),known/1_1_$special_fail/0),==>((known/1_1_$special_==/2(_135917,_135918),known/1_1_$special_==/2(_135918,_135921)),known/1_1_$special_==/2(_135917,_135921)),==>((known/1_1_$special_==/2(_135934,_135935),known/1_1_$special_\==/2(_135935,_135938)),known/1_1_$
special_\==/2(_135934,_135938)),==>(known/1_1_$special_==/2(_135948,_135949),known/1_1_$special_==/2(_135949,_135948)),==>(known/1_1_$special_\==/2(_135959,_135960),known/1_1_$special_\==/2(_135960,_135959)),==>(known/1_1_$special_\==/2(_135970,_135970),known/1_1_$special_fail/0),<=>(known/1_1_$special_\==/2(_135978,_135979),(nonvar(_135978),nonvar(_135979),functor(_135978,_135995,_135996)| functor(_135979,_135995,_135996)->_135978=..[_135995|_136014],_135979=..[_135995|_136022],add_args_nmatch(_136014,_136022,_136029),known(_136029);true)),==>(known/1_1_$special_==/2(_136038,_136039),known/1_1_$special_=/2(_136038,_136039)),==>(known/1_1_$special_ground/1(_136049),known/1_1_$special_nonvar/1(_136049)),==>(known/1_1_$special_compound/1(_136058),known/1_1_$special_nonvar/1(_136058)),==>(known/1_1_$special_atomic/1(_136067),known/1_1_$special_nonvar/1(_136067)),==>(known/1_1_$special_number/1(_136076),known/1_1_$special_nonvar/1(_136076)),==>(known/1_1_$special_atom/1(_136085),known/1
_1_$special_nonvar/1(_136085)),<=>((known/1_!
1_$specia!
l_var/1(_136097),known/1_1_$special_nonvar/1(_136097)),known/1_1_$special_fail/0),<=>(\(known/1_1_$special_;/2(_136109,_136110),known/1_1_$special_;/2(\+ (_136109;_136110),_136113)),known(_136113)),<=>(\(known/1_1_$special_nonvar/1(_136130),known/1_1_$special_;/2(\+nonvar(_136130),_136133)),known(_136133)),<=>(\(known/1_1_$special_var/1(_136149),known/1_1_$special_;/2(\+var(_136149),_136152)),known(_136152)),<=>(\(known/1_1_$special_atom/1(_136168),known/1_1_$special_;/2(\+atom(_136168),_136171)),known(_136171)),<=>(\(known/1_1_$special_atomic/1(_136187),known/1_1_$special_;/2(\+atomic(_136187),_136190)),known(_136190)),<=>(\(known/1_1_$special_compound/1(_136206),known/1_1_$special_;/2(\+compound(_136206),_136209)),known(_136209)),<=>(\(known/1_1_$special_ground/1(_136225),known/1_1_$special_;/2(\+ground(_136225),_136228)),known(_136228)),<=>(\(known/1_1_$special_integer/1(_136244),known/1_1_$special_;/2(\+integer(_136244),_136247)),known(_136247)),<=>(\(known/1_1_$special_float/1(
_136263),known/1_1_$special_;/2(\+float(_136263),_136266)),known(_136266)),<=>(\(known/1_1_$special_number/1(_136282),known/1_1_$special_;/2(\+number(_136282),_136285)),known(_136285)),<=>(\(known/1_1_$special_=\=/2(_136301,_136302),known/1_1_$special_;/2(\+_136301=\=_136302,_136305)),known(_136305)),<=>(\(known/1_1_$special_\+/1(_136322),known/1_1_$special_;/2(\+ \+_136322,_136325)),known(_136325)),<=>(\(known/1_1_$special_functor/3(_136341,_136342,_136343),known/1_1_$special_;/2(\+functor(_136341,_136342,_136343),_136346)),known(_136346)),<=>(\(known/1_1_$special_\=/2(_136364,_136365),known/1_1_$special_;/2(\+_136364\=_136365,_136368)),known(_136368)),<=>(\(known/1_1_$special_=/2(_136385,_136386),known/1_1_$special_;/2(\+_136385=_136386,_136389)),known(_136389)),<=>(\(known/1_1_$special_,/2(_136406,_136407),known/1_1_$special_;/2(\+ (_136406,_136407),_136410)),known(_136410)),<=>(\(known/1_1_$special_\==/2(_136427,_136428),known/1_1_$special_;/2(\+_136427\==_136428,_136431)),known
(_136431)),<=>(\(known/1_1_$special_==/2(_13!
6448,_136!
449),known/1_1_$special_;/2(\+_136448==_136449,_136452)),known(_136452)),<=>(\(known/1_1_$special_is/2(_136469,_136470),known/1_1_$special_;/2(\+_136469 is _136470,_136473)),known(_136473)),<=>(\(known/1_1_$special_</2(_136490,_136491),known/1_1_$special_;/2(\+_136490<_136491,_136494)),known(_136494)),<=>(\(known/1_1_$special_>=/2(_136511,_136512),known/1_1_$special_;/2(\+_136511>=_136512,_136515)),known(_136515)),<=>(\(known/1_1_$special_>/2(_136532,_136533),known/1_1_$special_;/2(\+_136532>_136533,_136536)),known(_136536)),<=>(\(known/1_1_$special_=</2(_136553,_136554),known/1_1_$special_;/2(\+_136553=<_136554,_136557)),known(_136557)),<=>(\(known/1_1_$special_=:=/2(_136574,_136575),known/1_1_$special_;/2(\+_136574=:=_136575,_136578)),known(_136578)),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_;/2(\+fail,_136596)),known(_136596)),<=>(\(known/1_1_$default(_136610),known/1_1_$special_;/2(\+_136610,_136613)),known(_136613)),<=>(\(known/1_1_$special_;/2(_136627,_136628),known/1
_1_$special_;/2((\+ (_136627;_136628),_136634),_136631)),known(_136631)),<=>(\(known/1_1_$special_nonvar/1(_136651),known/1_1_$special_;/2((\+nonvar(_136651),_136657),_136654)),known(_136654)),<=>(\(known/1_1_$special_var/1(_136673),known/1_1_$special_;/2((\+var(_136673),_136679),_136676)),known(_136676)),<=>(\(known/1_1_$special_atom/1(_136695),known/1_1_$special_;/2((\+atom(_136695),_136701),_136698)),known(_136698)),<=>(\(known/1_1_$special_atomic/1(_136717),known/1_1_$special_;/2((\+atomic(_136717),_136723),_136720)),known(_136720)),<=>(\(known/1_1_$special_compound/1(_136739),known/1_1_$special_;/2((\+compound(_136739),_136745),_136742)),known(_136742)),<=>(\(known/1_1_$special_ground/1(_136761),known/1_1_$special_;/2((\+ground(_136761),_136767),_136764)),known(_136764)),<=>(\(known/1_1_$special_integer/1(_136783),known/1_1_$special_;/2((\+integer(_136783),_136789),_136786)),known(_136786)),<=>(\(known/1_1_$special_float/1(_136805),known/1_1_$special_;/2((\+float(_136805),_1368
11),_136808)),known(_136808)),<=>(\(known/1_!
1_$specia!
l_number/1(_136827),known/1_1_$special_;/2((\+number(_136827),_136833),_136830)),known(_136830)),<=>(\(known/1_1_$special_=\=/2(_136849,_136850),known/1_1_$special_;/2((\+_136849=\=_136850,_136856),_136853)),known(_136853)),<=>(\(known/1_1_$special_\+/1(_136873),known/1_1_$special_;/2((\+ \+_136873,_136879),_136876)),known(_136876)),<=>(\(known/1_1_$special_functor/3(_136895,_136896,_136897),known/1_1_$special_;/2((\+functor(_136895,_136896,_136897),_136903),_136900)),known(_136900)),<=>(\(known/1_1_$special_\=/2(_136921,_136922),known/1_1_$special_;/2((\+_136921\=_136922,_136928),_136925)),known(_136925)),<=>(\(known/1_1_$special_=/2(_136945,_136946),known/1_1_$special_;/2((\+_136945=_136946,_136952),_136949)),known(_136949)),<=>(\(known/1_1_$special_,/2(_136969,_136970),known/1_1_$special_;/2((\+ (_136969,_136970),_136976),_136973)),known(_136973)),<=>(\(known/1_1_$special_\==/2(_136993,_136994),known/1_1_$special_;/2((\+_136993\==_136994,_137000),_136997)),known(_136997)),<=>(\(k
nown/1_1_$special_==/2(_137017,_137018),known/1_1_$special_;/2((\+_137017==_137018,_137024),_137021)),known(_137021)),<=>(\(known/1_1_$special_is/2(_137041,_137042),known/1_1_$special_;/2((\+_137041 is _137042,_137048),_137045)),known(_137045)),<=>(\(known/1_1_$special_</2(_137065,_137066),known/1_1_$special_;/2((\+_137065<_137066,_137072),_137069)),known(_137069)),<=>(\(known/1_1_$special_>=/2(_137089,_137090),known/1_1_$special_;/2((\+_137089>=_137090,_137096),_137093)),known(_137093)),<=>(\(known/1_1_$special_>/2(_137113,_137114),known/1_1_$special_;/2((\+_137113>_137114,_137120),_137117)),known(_137117)),<=>(\(known/1_1_$special_=</2(_137137,_137138),known/1_1_$special_;/2((\+_137137=<_137138,_137144),_137141)),known(_137141)),<=>(\(known/1_1_$special_=:=/2(_137161,_137162),known/1_1_$special_;/2((\+_137161=:=_137162,_137168),_137165)),known(_137165)),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_;/2((\+fail,_137189),_137186)),known(_137186)),<=>(\(known/1_1_$default(_13720
3),known/1_1_$special_;/2((\+_137203,_137209!
),_137206!
)),known(_137206)),<=>(\(known/1_1_$special_\+/1(_137223),known/1_1_$special_;/2(_137223,_137226)),known(_137226)),<=>(\(known/1_1_$special_\+/1(_137238),known/1_1_$special_;/2((_137238,_137244),_137241)),known(_137241)),<=>(known/1_1_$special_;/2(fail,_137254),known(_137254)),<=>(known/1_1_$special_;/2(_137263,fail),known(_137263)),<=>(known/1_1_$special_;/2(true,_137274),true),<=>(known/1_1_$special_;/2(_137281,true),true),<=>(\(known/1_1_$special_functor/3(_137292,_137293,_137294),known/1_1_$special_;/2(\+functor(_137292,_137302,_137303),_137297)),true),<=>(known/1_1_$special_;/2(\+functor(_137315,_137316,_137317),_137311),(nonvar(_137315),functor(_137315,_137316,_137317)| known(_137311))),<=>(known/1_1_$special_;/2(\+functor(_137343,_137344,_137345),_137339),(nonvar(_137343),\+functor(_137343,_137344,_137345)| true)),<=>(test/1_1_$special_;/2(fail,_137367),test(_137367)),<=>(test/1_1_$special_;/2(_137376,fail),test(_137376)),<=>(test/1_1_$special_=/2(_137386,_137387),(ground(_13
7386),ground(_137387)| _137386=_137387)),<=>(\(variables(_137410),test/1_1_$special_functor/3(_137412,_137413,_137414)),(var(_137412),ground(_137413),ground(_137414),\+memberchk_eq(_137412,_137410)| functor(_137412,_137413,_137414))),<=>(test/1_1_$special_true/0,true),<=>(test/1_1_$special_==/2(_137453,_137454),(_137453==_137454 | true)),<=>(test/1_1_$special_=:=/2(_137467,_137468),(_137467==_137468 | true)),<=>(test/1_1_$special_=</2(_137481,_137482),(_137481==_137482 | true)),<=>(test/1_1_$special_=</2(_137495,_137496),(ground(_137495),ground(_137496),_137495=<_137496 | true)),<=>(test/1_1_$special_=</2(_137519,_137520),(ground(_137519),ground(_137520),_137519>_137520 | fail)),<=>(test/1_1_$special_=:=/2(_137543,_137544),(ground(_137543),ground(_137544),_137543=:=_137544 | true)),<=>(test/1_1_$special_=:=/2(_137567,_137568),(ground(_137567),ground(_137568),_137567=\=_137568 | fail)),<=>(test/1_1_$special_=\=/2(_137591,_137592),(ground(_137591),ground(_137592),_137591=\=_137592 | t
rue)),<=>(test/1_1_$special_=\=/2(_137615,_1!
37616),(g!
round(_137615),ground(_137616),_137615=:=_137616 | fail)),<=>(test/1_1_$special_functor/3(_137639,_137640,_137641),(nonvar(_137639),functor(_137639,_137640,_137641)| true)),<=>(test/1_1_$special_functor/3(_137660,_137661,_137662),(nonvar(_137660)| fail)),<=>(test/1_1_$special_ground/1(_137674),(ground(_137674)| true)),<=>(test/1_1_$special_number/1(_137686),(number(_137686)| true)),<=>(test/1_1_$special_float/1(_137698),(float(_137698)| true)),<=>(test/1_1_$special_integer/1(_137710),(integer(_137710)| true)),<=>(test/1_1_$special_number/1(_137722),(nonvar(_137722)| fail)),<=>(test/1_1_$special_float/1(_137734),(nonvar(_137734)| fail)),<=>(test/1_1_$special_integer/1(_137746),(nonvar(_137746)| fail)),<=>(test/1_1_$special_\+/1(functor(_137760,_137761,_137762)),(nonvar(_137760),functor(_137760,_137761,_137762)| fail)),<=>(test/1_1_$special_\+/1(functor(_137783,_137784,_137785)),(nonvar(_137783)| true)),<=>(test/1_1_$special_\+/1(ground(_137799)),(ground(_137799)| fail)),<=>(test/1_1_
$special_\+/1(number(_137813)),(number(_137813)| fail)),<=>(test/1_1_$special_\+/1(float(_137827)),(float(_137827)| fail)),<=>(test/1_1_$special_\+/1(integer(_137841)),(integer(_137841)| fail)),<=>(test/1_1_$special_\+/1(number(_137855)),(nonvar(_137855)| true)),<=>(test/1_1_$special_\+/1(float(_137869)),(nonvar(_137869)| true)),<=>(test/1_1_$special_\+/1(integer(_137883)),(nonvar(_137883)| true)),<=>(test/1_1_$special_,/2(_137895,_137896),(test(_137895),known(_137895),test(_137896))),<=>(test/1_1_$special_;/2(_137915,_137916),(true | negate_b(_137915,_137925),negate_b(_137916,_137931),(known(_137931),test(_137915);known(_137925),test(_137916)))),<=>((test/1_1_$special_,/2(_137958,_137959),known/1_1_$special_;/2(_137961,_137962)),(true |\+try(_137961,(_137958,_137959)),!,negate_b(_137961,_137985),known(_137985),\+try(_137962,(_137958,_137959)))),<=>((test/1_1_$special_\+/1(_138008),known/1_1_$special_;/2(_138010,_138011)),(true |\+try(_138010,\+_138008),!,negate_b(_138010,_138033),k
nown(_138033),\+try(_138011,\+_138008))),<=>!
((test/1_!
1_$special_integer/1(_138055),known/1_1_$special_;/2(_138057,_138058)),(true |\+try(_138057,integer(_138055)),!,negate_b(_138057,_138080),known(_138080),\+try(_138058,integer(_138055)))),<=>((test/1_1_$special_float/1(_138102),known/1_1_$special_;/2(_138104,_138105)),(true |\+try(_138104,float(_138102)),!,negate_b(_138104,_138127),known(_138127),\+try(_138105,float(_138102)))),<=>((test/1_1_$special_number/1(_138149),known/1_1_$special_;/2(_138151,_138152)),(true |\+try(_138151,number(_138149)),!,negate_b(_138151,_138174),known(_138174),\+try(_138152,number(_138149)))),<=>((test/1_1_$special_ground/1(_138196),known/1_1_$special_;/2(_138198,_138199)),(true |\+try(_138198,ground(_138196)),!,negate_b(_138198,_138221),known(_138221),\+try(_138199,ground(_138196)))),<=>((test/1_1_$special_=:=/2(_138243,_138244),known/1_1_$special_;/2(_138246,_138247)),(true |\+try(_138246,_138243=:=_138244),!,negate_b(_138246,_138270),known(_138270),\+try(_138247,_138243=:=_138244))),<=>((test/1_1_$speci
al_==/2(_138293,_138294),known/1_1_$special_;/2(_138296,_138297)),(true |\+try(_138296,_138293==_138294),!,negate_b(_138296,_138320),known(_138320),\+try(_138297,_138293==_138294))),<=>((test/1_1_$special_true/0,known/1_1_$special_;/2(_138343,_138344)),(true |\+try(_138343,true),!,negate_b(_138343,_138364),known(_138364),\+try(_138344,true))),<=>((test/1_1_$special_functor/3(_138384,_138385,_138386),known/1_1_$special_;/2(_138388,_138389)),(true |\+try(_138388,functor(_138384,_138385,_138386)),!,negate_b(_138388,_138413),known(_138413),\+try(_138389,functor(_138384,_138385,_138386)))),<=>((test/1_1_$special_=/2(_138437,_138438),known/1_1_$special_;/2(_138440,_138441)),(true |\+try(_138440,_138437=_138438),!,negate_b(_138440,_138464),known(_138464),\+try(_138441,_138437=_138438))),<=>((test/1_1_$special_;/2(_138487,_138488),known/1_1_$special_;/2(_138490,_138491)),(true |\+try(_138490,(_138487;_138488)),!,negate_b(_138490,_138514),known(_138514),\+try(_138491,(_138487;_138488)))),<=>
((test/1_1_$special_is/2(_138537,_138538),kn!
own/1_1_$!
special_;/2(_138540,_138541)),(true |\+try(_138540,_138537 is _138538),!,negate_b(_138540,_138564),known(_138564),\+try(_138541,_138537 is _138538))),<=>((test/1_1_$special_</2(_138587,_138588),known/1_1_$special_;/2(_138590,_138591)),(true |\+try(_138590,_138587<_138588),!,negate_b(_138590,_138614),known(_138614),\+try(_138591,_138587<_138588))),<=>((test/1_1_$special_>=/2(_138637,_138638),known/1_1_$special_;/2(_138640,_138641)),(true |\+try(_138640,_138637>=_138638),!,negate_b(_138640,_138664),known(_138664),\+try(_138641,_138637>=_138638))),<=>((test/1_1_$special_>/2(_138687,_138688),known/1_1_$special_;/2(_138690,_138691)),(true |\+try(_138690,_138687>_138688),!,negate_b(_138690,_138714),known(_138714),\+try(_138691,_138687>_138688))),<=>((test/1_1_$special_=\=/2(_138737,_138738),known/1_1_$special_;/2(_138740,_138741)),(true |\+try(_138740,_138737=\=_138738),!,negate_b(_138740,_138764),known(_138764),\+try(_138741,_138737=\=_138738))),<=>((test/1_1_$special_=</2(_138787,_13878
8),known/1_1_$special_;/2(_138790,_138791)),(true |\+try(_138790,_138787=<_138788),!,negate_b(_138790,_138814),known(_138814),\+try(_138791,_138787=<_138788))),<=>((test/1_1_$special_\==/2(_138837,_138838),known/1_1_$special_;/2(_138840,_138841)),(true |\+try(_138840,_138837\==_138838),!,negate_b(_138840,_138864),known(_138864),\+try(_138841,_138837\==_138838))),<=>((test/1_1_$default(_138887),known/1_1_$special_;/2(_138889,_138890)),(true |\+try(_138889,_138887),!,negate_b(_138889,_138910),known(_138910),\+try(_138890,_138887))),<=>(test/1_1_$special_,/2(_138927,_138928),fail),<=>(test/1_1_$special_\+/1(_138935),fail),<=>(test/1_1_$special_integer/1(_138942),fail),<=>(test/1_1_$special_float/1(_138949),fail),<=>(test/1_1_$special_number/1(_138956),fail),<=>(test/1_1_$special_ground/1(_138963),fail),<=>(test/1_1_$special_=:=/2(_138970,_138971),fail),<=>(test/1_1_$special_==/2(_138978,_138979),fail),<=>(test/1_1_$special_true/0,fail),<=>(test/1_1_$special_functor/3(_138991,_138992,_1
38993),fail),<=>(test/1_1_$special_=/2(_1390!
00,_13900!
1),fail),<=>(test/1_1_$special_;/2(_139008,_139009),fail),<=>(test/1_1_$special_is/2(_139016,_139017),fail),<=>(test/1_1_$special_</2(_139024,_139025),fail),<=>(test/1_1_$special_>=/2(_139032,_139033),fail),<=>(test/1_1_$special_>/2(_139040,_139041),fail),<=>(test/1_1_$special_=\=/2(_139048,_139049),fail),<=>(test/1_1_$special_=</2(_139056,_139057),fail),<=>(test/1_1_$special_\==/2(_139064,_139065),fail),<=>(test/1_1_$default(_139072),fail),<=>(\(cleanup,known/1_1_$special_;/2(_139082,_139083)),true),<=>(\(cleanup,known/1_1_$special_nonvar/1(_139093)),true),<=>(\(cleanup,known/1_1_$special_var/1(_139103)),true),<=>(\(cleanup,known/1_1_$special_atom/1(_139113)),true),<=>(\(cleanup,known/1_1_$special_atomic/1(_139123)),true),<=>(\(cleanup,known/1_1_$special_compound/1(_139133)),true),<=>(\(cleanup,known/1_1_$special_ground/1(_139143)),true),<=>(\(cleanup,known/1_1_$special_integer/1(_139153)),true),<=>(\(cleanup,known/1_1_$special_float/1(_139163)),true),<=>(\(cleanup,known/1_1_$speci
al_number/1(_139173)),true),<=>(\(cleanup,known/1_1_$special_=\=/2(_139183,_139184)),true),<=>(\(cleanup,known/1_1_$special_\+/1(_139194)),true),<=>(\(cleanup,known/1_1_$special_functor/3(_139204,_139205,_139206)),true),<=>(\(cleanup,known/1_1_$special_\=/2(_139216,_139217)),true),<=>(\(cleanup,known/1_1_$special_=/2(_139227,_139228)),true),<=>(\(cleanup,known/1_1_$special_,/2(_139238,_139239)),true),<=>(\(cleanup,known/1_1_$special_\==/2(_139249,_139250)),true),<=>(\(cleanup,known/1_1_$special_==/2(_139260,_139261)),true),<=>(\(cleanup,known/1_1_$special_is/2(_139271,_139272)),true),<=>(\(cleanup,known/1_1_$special_</2(_139282,_139283)),true),<=>(\(cleanup,known/1_1_$special_>=/2(_139293,_139294)),true),<=>(\(cleanup,known/1_1_$special_>/2(_139304,_139305)),true),<=>(\(cleanup,known/1_1_$special_=</2(_139315,_139316)),true),<=>(\(cleanup,known/1_1_$special_=:=/2(_139326,_139327)),true),<=>(\(cleanup,known/1_1_$special_fail/0),true),<=>(\(cleanup,known/1_1_$default(_139345)),true),<
=>(\(cleanup,variables(_139355)),true),<=>(c!
leanup,tr!
ue)],_131636)
gmake[2]: *** [Makefile:125: chr_translate.pl] Error 1
gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/chr'
gmake[1]: *** [Makefile:645: install_data] Error 2
gmake[1]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2'
*** Error code 2
Stop.
make: stopped in /usr/ports/lang/yap