[package - main-i386-default][lang/yap] Failed for yap-6.2.2_11 in stage
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 29 Oct 2024 21:39:57 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: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p332c73b035e3_sf377a0c7dfa/logs/yap-6.2.2_11.log
Build URL: https://pkg-status.freebsd.org/beefy17/build.html?mastername=main-i386-default&build=p332c73b035e3_sf377a0c7dfa
Log:
=>> Building lang/yap
build started at Tue Oct 29 21:38:46 UTC 2024
port directory: /usr/ports/lang/yap
package name: yap-6.2.2_11
building for: FreeBSD main-i386-default-job-10 15.0-CURRENT FreeBSD 15.0-CURRENT 1500026 i386
maintained by: eugen@FreeBSD.org
Makefile datestamp: -rw-r--r-- 1 root wheel 2116 Jul 4 01:01 /usr/ports/lang/yap/Makefile
Ports top last git commit: 332c73b035e
Ports top unclean checkout: no
Port dir last git commit: 19d68720f1d
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.2
Host OSVERSION: 1500023
Jail OSVERSION: 1500026
Job Id: 10
!!! Jail is newer than host. (Jail: 1500026, Host: 1500023) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!
---Begin Environment---
SHELL=/bin/sh
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
OSVERSION=1500026
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
MAKE_OBJDIR_CHECK_WRITABLE=0
UNAME_m=i386
UNAME_p=i386
UNAME_r=15.0-CURRENT
LOCALBASE=/usr/local
UNAME_v=FreeBSD 15.0-CURRENT 1500026
USER=root
POUDRIERE_NAME=poudriere-git
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.4.2
MASTERMNT=/usr/local/poudriere/data/.m/main-i386-default/ref
LC_COLLATE=C
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
OUTPUT_REDIRECTED_STDERR=4
OUTPUT_REDIRECTED=1
PWD=/usr/local/poudriere/data/.m/main-i386-default/10/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS
MASTERNAME=main-i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/main-i386-default/ref/.p/pool
POUDRIERE_PKGNAME=poudriere-git-3.4.2
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---
---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
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 CFLAGS="-O2 -pipe -Wno-incompatible-function-pointer-types -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " 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/local/share/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/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -Wno-incompatible-function-pointer-types -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-I/usr/local/include -isystem /usr/local/include" LDFLAGS=" -L/usr/local/lib -fstack-protector-strong " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS="-O2 -pipe -Wno-incompatible-function-pointer-types -fstack-protector-strong -isystem /usr/local/include -fn
o-strict-aliasing -isystem /usr/local/include " 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=15.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---
# 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 3 jobs
MAKE_JOBS_NUMBER=3
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### ####
# 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 3 jobs
MAKE_JOBS_NUMBER=3
#### Misc Poudriere ####
.include "/etc/make.conf.ports_env"
GID=0
UID=0
---End make.conf---
--Resource limits--
ulimit: can't get limit: Invalid argument
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 524288
stack size (kbytes, -s) 65536
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) 8192
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 >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License ART20 LGPL20 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> yap-6.2.2_11 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.21.3.pkg
[main-i386-default-job-10] Installing pkg-1.21.3...
[main-i386-default-job-10] Extracting pkg-1.21.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 >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: fetch >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License ART20 LGPL20 accepted by the user
===> Fetching all distfiles required by yap-6.2.2_11 for building
===========================================================================
=======================<phase: checksum >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> 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>============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: extract >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License ART20 LGPL20 accepted by the user
===> Fetching all distfiles required by yap-6.2.2_11 for building
===> Extracting for yap-6.2.2_11
=> SHA256 Checksum OK for yap-6.2.2.tar.gz.
=> SHA256 Checksum OK for yap-doc-6.2.2.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: patch >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> Patching for yap-6.2.2_11
===> Applying FreeBSD patches for yap-6.2.2_11 from /usr/ports/lang/yap/files
<snip>
;
( is_stored(A)/4-23chr_warning(assertion_failed, Constraint
~ w is temporarily stored.
end of file found before end of term at chr_translate.pl, near line 4847:
<==== HERE ====>
However , it was asserted not to be stored .\
n ,[A])
)
;/4-23true
)continuation_occurrence(A,B,C)/4-23 continuation_occurrence / 3 __0 (A,B,C,_) continuation_occurrence / 3
__0 (A,B,C,D)/4-23insert_constraint_internal(_,_,D,chr_translate: continuation_occurrence / 3 __0 (A,B,C,D),continuation_occurrence(A,B,C),[A,B,C]),/4-23 $ insert_in_store_continuation_occurrence /
0( D ) get_success_continuation_occurrence( A , B ,
C ) / 4 - 382 t_success_continuation_occurrence / 3 __0
(A,B,C,_) get_success_continuation_occurrence / 3 __0 (A,B,C,_)/4-23 $ via1_multi_hash_continuation_occurrence / 3
- 0( B , D ) , / 4
- 293 r sbag_member (E,D),/4-23E=suspension(_,F,_,_,_,_,G,H,I),/4-23F=mutable(active),/4-23G==A,/4-23H==B,/4-23!,/4-23C=I get_success_continuation_occurrence / 3 __0 (A,B,_,_)/4-23!,/4-23chr_error(internal,
Success continuation not found for ~ w .\ n ,[A:B])skip_to_next_id(A,B)/4-23
skip_to_next_id / 2 __0 (A,B,_) skip_to_next_id / 2 __0 (A,B,C)/4-23
$ via1_multi_hash_skip_to_next_id / 2 - 0( k( A
, B ) , D ) ,( / 4
- 293 r sbag_member (E,D),/4-23E=suspension(_,F,_,_,_,_,G,H),/4-23F=mutable(active),/4-23G==A,/4-23H==B,/4-23!
;/4-23!,/4-23allocate_constraint(chr_translate: skip_to_next_id / 2 __0 (A,B,C),C,skip_to_next_id(A,B),[A,B]),/4-23
skip_to_next_id / 2 __0__0 (D,A,B,C)
) skip_to_next_id / 2 __0__0 ([],A,B,C)/4-23
skip_to_next_id / 2 __1 (A,B,C) skip_to_next_id / 2 __0__0 ([D|E],A,B,C)
( D=suspension(_,F,_,_,_,_,G,H),/4-23F=mutable(active),/4-23G==A,/4-23H==B/4-23remove_constraint_internal(D,_,I),
( I==yes/4-23
$ delete_from_store_skip_to_next_id / 0( D ) ; / 4
- 23 true ) , / 4 - 0 skip_to_next_id
/ 2 __0__0 (E,A,B,C)
;/4-23 skip_to_next_id / 2 __0__0 (E,A,B,C)
) skip_to_next_id
/ 2 __0 (A,B,C)/4-23allocate_constraint(chr_translate: skip_to_next_id / 2 __0 (A,B,C),C,skip_to_next_id(A,B),[A,B]),/4-23 skip_to_next_id
/ 2 __1 (A,B,C) skip_to_next_id / 2 __1 (A,B,C)/4-23 $
via1_multi_hash_occurrence / 5 - 0( B , D )
, / 4 - 23 ! , / 4 -
0 skip_to_next_id / 2 __1__0 (D,A,B,C) skip_to_next_id / 2 __1__0
([],A,B,C)/4-23 skip_to_next_id / 2 __2 (A,B,C) skip_to_next_id / 2 __1__0
([D|E],A,B,C)
( D=suspension(_,F,_,_,_,_,G,H,I,J,_),/4-23F=mutable(active),/4-23G==A,/4-23H==B,/4-23 $ via1_multi_hash_passive / 2 - 0( k(
I , J ) , K ) / 4 -
0 skip_to_next_id / 2 __1__1 (K,I,J,D,E,A,B,C)
;/4-23 skip_to_next_id / 2 __1__0
(E,A,B,C)
) skip_to_next_id / 2 __1__1 ([],_,_,_,A,B,C,D)/4-23 skip_to_next_id / 2 __1__0
(A,B,C,D) skip_to_next_id / 2 __1__1 ([H|I],A,B,C,D,E,F,G)
( H=suspension(_,J,_,_,_,_,K,L),/4-23J=mutable(active),/4-23K==A,/4-23L==B,/4-23M=t(362,C,H,G),/4-23 chr novel_production (C,M),/4-23 chr
novel_production (H,M),/4-23 chr novel_production (G,M),/4-23F>1/4-23 chr extend_history (G,M),/4-23activate_constraint(N,_,G,O),
( N==yes/4-23 $ insert_in_store_skip_to_next_id
/ 0( G ) ; / 4 - 23
true ) , / 4 - 23 P is F
- 1 , / 4 - 23 skip_to_next_id( E
, P ) ,( G = suspension( _
, Q , _ , R , _ , _
, _ , _ ) , / 4 - 23
Q = mutable( active ) , / 4 -
23 R = mutable( O ) / 4 -
293 r update_mutable (inactive,Q),/4-23 skip_to_next_id / 2 __1__1 (I,A,B,C,D,E,F,G)
;/4-23true
)
;/4-23 skip_to_next_id
/ 2 __1__1 (I,A,B,C,D,E,F,G)
) skip_to_next_id / 2 __1 (A,B,C)/4-23 skip_to_next_id
/ 2 __2 (A,B,C) skip_to_next_id / 2 __2 (A,B,C)/4-23 $
via1_multi_hash_set_occurrence_code_id / 3 - 0( k( A ,
B ) , D ) , / 4 - 23
! , / 4 - 0 skip_to_next_id / 2 __2__0
(D,A,B,C) skip_to_next_id / 2 __2__0 ([],A,B,C)/4-23 skip_to_next_id / 2 __3
(A,B,C) skip_to_next_id / 2 __2__0 ([D|E],A,B,C)
( D=suspension(_,F,_,_,_,_,G,H,I),/4-23F=mutable(active),/4-23G==A,/4-23H==B,/4-23 $ via1_multi_hash_occurrence / 5
- 0( B , J ) , / 4
- 293 r sbag_member (K,J),/4-23K=suspension(_,L,_,_,_,_,M,N,_,_,O),/4-23L=mutable(active),/4-23M==A,/4-23N==B,/4-23O==propagation/4-23remove_constraint_internal(D,_,P),
( P==yes/4-23 $ delete_from_store_set_occurrence_code_id / 0(
D ) ; / 4 - 23 true ) ,
/ 4 - 23 activate_constraint( Q , _ ,
C , R ) ,( Q == yes /
4 - 0 $ insert_in_store_skip_to_next_id / 0( C )
; / 4 - 23 true ) , / 4
- 23 occurrence_code_id( A , B , I )
, / 4 - 23 S is B + 1
, / 4 - 23 T is I + 1
, / 4 - 23 set_occurrence_code_id( A , S
, T ) ,( C = suspension( _
, U , _ , V , _ , _
, _ , _ ) , / 4 - 23
U = mutable( active ) , / 4 -
23 V = mutable( R ) / 4 -
293 r update_mutable (inactive,U),/4-23 skip_to_next_id / 2 __2__0 (E,A,B,C)
;/4-23true
)
;/4-23 skip_to_next_id
/ 2 __2__0 (E,A,B,C)
) skip_to_next_id / 2 __2 (A,B,C)/4-23 skip_to_next_id
/ 2 __3 (A,B,C) skip_to_next_id / 2 __3 (_,_,A)/4-23activate_constraint(B,_,A,_),
( B==yes/4-23 $
insert_in_store_skip_to_next_id / 0( A ) ; / 4 -
23 true ) should_skip_to_next_id( A , B ) /
4 - 0 should_skip_to_next_id / 2 __0 (A,B,_) should_skip_to_next_id /
2 __0 (A,B,_)/4-23 $ via1_multi_hash_skip_to_next_id / 2 - 0(
k( A , B ) , C ) ,
/ 4 - 293 r sbag_member (D,C),/4-23D=suspension(_,E,_,_,_,_,F,G),/4-23E=mutable(active),/4-23F==A,/4-23G==B,/4-23! should_skip_to_next_id / 2
__0 (_,_,_)/4-23!,/4-23failbulk_propagation(A,B,C)/4-23 bulk_propagation / 3 __0 (A,B,C,_) bulk_propagation / 3
__0 (A,B,_,_)/4-23 $ via1_multi_hash_max_occurrence / 2 - 0( A
, C ) , / 4 - 293 r sbag_member
(D,C),/4-23D=suspension(_,E,_,_,_,_,F,G),/4-23E=mutable(active),/4-23F==A,/4-23B>=G,/4-23!,/4-23skip_to_next_id(A,B) bulk_propagation / 3 __0 (A,B,C,_)/4-23C=:=B+1,/4-23!,/4-23skip_to_next_id(A,B),/4-23get_max_occurrence(A,D),/4-23E is D+1,/4-23bulk_propagation(A,C,E) bulk_propagation / 3 __0
(A,B,_,_)/4-23 $ via1_multi_hash_occurrence / 5 - 0( A ,
C ) , / 4 - 293 r sbag_member (D,C),/4-23D=suspension(_,E,_,_,_,_,F,G,_,_,H),/4-23E=mutable(active),/4-23F==A,/4-23H==simplification,/4-23G=:=B+1,/4-23!,/4-23skip_to_next_id(A,B),/4-23get_max_occurrence(A,I),/4-23J is I+1,/4-23bulk_propagation(A,G,J)
bulk_propagation / 3 __0 (A,B,C,_)/4-23 $ via1_multi_hash_continuation_occurrence / 3 -
0( B , D ) , / 4 -
293 r sbag_member (E,D),/4-23E=suspension(_,F,_,_,_,_,G,H,I),/4-23F=mutable(active),/4-23G==A,/4-23H==B,/4-23I>B+1,/4-23!,/4-23J is min(C,I),/4-23K is B+1,/4-23bulk_propagation(A,K,J) bulk_propagation / 3 __0 (A,B,_,_)/4-23!,/4-23skip_to_next_id(A,B),/4-23get_max_occurrence(A,C),/4-23D is C+1,/4-23E is B+1,/4-23bulk_propagation(A,E,D)set_occurrence_code_id(A,B,C)/4-23 set_occurrence_code_id
/ 3 __0 (A,B,C,_) set_occurrence_code_id / 3 __0 (A,B,C,_)/4-23get_max_occurrence(A,D),/4-23B>D,/4-23!,/4-23occurrence_code_id(A,B,C) set_occurrence_code_id
/ 3 __0 (A,B,C,_)/4-23 $ via1_multi_hash_occurrence / 5 - 0
( B , D ) , / 4 - 293
r sbag_member (E,D),/4-23E=suspension(_,F,_,_,_,_,G,H,I,J,K),/4-23F=mutable(active),/4-23G==A,/4-23H==B,
(/4-23 $ via1_multi_hash_passive / 2 - 0(
k( I , J ) , L ) ,
/ 4 - 293 r sbag_member (M,L),/4-23M=suspension(_,N,_,_,_,_,O,P),/4-23N=mutable(active),/4-23O==I,/4-23P==J,/4-23!,/4-23occurrence_code_id(A,B,C),/4-23Q is B+1,/4-23set_occurrence_code_id(A,Q,C)
;/4-23K==simplification,/4-23!,/4-23occurrence_code_id(A,B,C),/4-23R is B+1,/4-23set_occurrence_code_id(A,R,C)
) set_occurrence_code_id / 3
__0 (A,B,C,_)/4-23 $ via1_multi_hash_skip_to_next_id / 2 - 0( k
( A , B ) , D ) , /
4 - 0 $ via1_multi_hash_occurrence / 5 - 0(
B , E ) , / 4 - 293 r
sbag_member (F,E),/4-23F=suspension(_,G,_,_,_,_,H,I,_,_,J),/4-23G=mutable(active),/4-23H==A,/4-23I==B,/4-23J==propagation,/4-23 chr sbag_member (K,D),/4-23K=suspension(_,L,_,_,_,_,M,N),/4-23L=mutable(active),/4-23M==A,/4-23N==B,/4-23!,/4-23occurrence_code_id(A,B,C),/4-23O is B+1,/4-23P is C+1,/4-23set_occurrence_code_id(A,O,P) set_occurrence_code_id / 3 __0 (A,B,C,_)/4-23
$ via1_multi_hash_occurrence / 5 - 0( B , D
) , / 4 - 293 r sbag_member (E,D),/4-23E=suspension(_,F,_,_,_,_,G,H,_,_,I),/4-23F=mutable(active),/4-23G==A,/4-23H==B,/4-23I==propagation,/4-23!,/4-23occurrence_code_id(A,B,C),/4-23J is B+1,/4-23set_occurrence_code_id(A,J,C) set_occurrence_code_id
/ 3 __0 (A,B,C,D)/4-23insert_constraint_internal(_,_,D,chr_translate: set_occurrence_code_id / 3 __0 (A,B,C,D),set_occurrence_code_id(A,B,C),[A,B,C]),/4-23 $
insert_in_store_set_occurrence_code_id / 0( D ) occurrence_code_id( A ,
B , C ) / 4 - 0 occurrence_code_id /
3 __0 (A,B,C,_) occurrence_code_id / 3 __0 (A,B,C,D)/4-23insert_constraint_internal(_,_,D,chr_translate: occurrence_code_id /
3 __0 (A,B,C,D),occurrence_code_id(A,B,C),[A,B,C]),/4-23 $ insert_in_store_occurrence_code_id / 0( D )
get_occurrence_code_id( A , B , C ) / 4
- 382 t_occurrence_code_id / 3 __0 (A,B,C,_) get_occurrence_code_id / 3
__0 (A,B,C,_)/4-23 $ via1_multi_hash_occurrence_code_id / 3 - 0( k
( A , B ) , D ) , /
4 - 293 r sbag_member (E,D),/4-23E=suspension(_,F,_,_,_,_,G,H,I),/4-23F=mutable(active),/4-23G==A,/4-23H==B,/4-23!,/4-23C=I get_occurrence_code_id / 3 __0
(A,B,_,_)/4-23!,
( B==0/4-23true
;/4-23format( no occurrence code for ~ w ! \ n
,[A:B])
)chr_constants(A)/4-23 chr_constants / 1 __0 (A,_) chr_constants / 1 __0
(A,B)/4-23insert_constraint_internal(_,_,B,chr_translate: chr_constants / 1 __0 (A,B),chr_constants(A),[A]),/4-23 $ insert_in_store_chr_constants / 0
( B ) get_chr_constants( A ) / 4 -
382 t_chr_constants / 1 __0 (A,_) get_chr_constants / 1 __0
(A,_)/4-23nb_getval( $ chr_store_global_ground_chr_translate : chr_constants / 0 , B )
, / 4 - 293 r sbag_member (C,B),/4-23C=suspension(_,D,_,_,_,_,E),/4-23D=mutable(active),/4-23!,/4-23A=E get_chr_constants /
1 __0 (A,_)/4-23!,/4-23chr_warning(internal, No constants found for key ~ w
.\ n ,[_]),/4-23A=[]add_chr_constants_(A)/4-23 add_chr_constants_ / 1 __0 (A,_) add_chr_constants_ /
1 __0 (A,_)/4-23nb_getval( $ chr_store_global_ground_chr_translate : chr_constants / 0 ,
B ) , / 4 - 293 r sbag_member (C,B),/4-23C=suspension(_,D,_,_,_,_,E),/4-23D=mutable(active),/4-23!,/4-23remove_constraint_internal(C,_,F),
( F==yes/4-23
$ delete_from_store_chr_constants / 0( C ) ; / 4
- 23 true ) , / 4 - 23 sort
( [ A | E ] , G ) ,
/ 4 - 23 chr_constants( G ) add_chr_constants_/1__0(
A , _ ) / 4 - 23 ! ,
/ 4 - 23 chr_constants( [ A ] )
print_chr_constants / 4 - 0 print_chr_constants / 0 __0 (_)
print_chr_constants / 0 __0 (A)/4-23nb_getval( $ chr_store_global_ground_chr_translate : chr_constants /
0 , B ) , / 4 - 23 !
, / 4 - 23 allocate_constraint( chr_translate : print_chr_constants/0__0
( A ) , A , print_chr_constants , [] )
, / 4 - 0 print_chr_constants / 0 __0__0 (B,A)
print_chr_constants / 0 __0__0 ([],A)/4-23 print_chr_constants / 0 __1 (A)
print_chr_constants / 0 __0__0 ([B|C],A)
( B=suspension(_,D,_,_,_,_,E),/4-23D=mutable(active),/4-23F=t(374,A,B),/4-23 chr novel_production (A,F),/4-23 chr novel_production
(B,F)/4-23 chr extend_history (A,F),/4-23activate_constraint(G,_,A,H),
( G==yes/4-23 $ insert_in_store_print_chr_constants / 40 A )
; / 4 - 23 true ) , / 4
- 23 format( * chr_constants : ~w.
, [ E ] )
,( A = suspension( _ , I ,
_ , J , _ , _ ) , /
4 - 23 I = mutable( active ) ,
/ 4 - 23 J = mutable( H )
/ 4 - 293 r update_mutable (inactive,I),/4-23 print_chr_constants / 0
__0__0 (C,A)
;/4-23true
)
;/4-23 print_chr_constants / 0 __0__0 (C,A)
) print_chr_constants / 0
__0 (A)/4-23allocate_constraint(chr_translate: print_chr_constants / 0 __0 (A),A,print_chr_constants,[]),/4-23 print_chr_constants / 0
__1 (A) print_chr_constants / 0 __1 (A)/4-23!,
( var(A)/4-23true
;/4-23remove_constraint_internal(A,_,B),
( B==yes/4-23 $ delete_from_store_print_chr_constants /
40 A ) ; / 4 - 23 true )
).
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(_131198,_131199):-copy_term_nat((_131198,_131199),(_131210,_131211)),term_variables(_131210,_131217),variables(_131217),sort(_131210,_131228),entails_guard2(_131228),!,test(_131211),!,cleanup),entails_guard2([]),(entails_guard2([_131256|_131257]):-known(_131256),entails_guard2(_131257)),(simplify_guards(_131271,_131272,_131273,_131274,_131275):-copy_term_nat((_131271,_131273),(_131286,_131287)),term_variables(_131286,_131293),variables(_131293),sort(_131286,_131304),entails_guard2(_131304),!,simplify(_131287,_131318),simplified(_131273,_131318,_131274,_131272,_131275),!,cleanup),simplified(
[],[],[],_131337,_131337),(simplified([_131350|_131351],[keep|_131353],[_131350|_131355],_131348,_131349):-simplified(_131351,_131353,_131355,_131348,_131349)),simplified([_131370|_131371],[fail|_131373],fail,_131368,_131368),(simplified([_131385|_131386],[true|_131388],[_131389|_131390],_131383,_131384):-builtins:binds_b(_131385,_131399),term_variables(_131386,_131405),intersect_eq(_131399,_131405,_131412),!,(_131412=[]->term_variables(_131383,_131433),intersect_eq(_131399,_131433,_131440),!,(_131440=[]->_131389=true,_131384=_131461;_131389=true,_131384=(_131385,_131461));_131389=_131385,_131384=_131461),simplified(_131386,_131388,_131390,_131383,_131461)),simplify([],[]),(simplify([_131502|_131503],[_131504|_131505]):-(\+try(true,_131502)->_131504=true;builtins:negate_b(_131502,_131531),(\+try(true,_131531)->_131504=fail;_131504=keep)),known(_131502),simplify(_131503,_131505)),(try(_131563,_131564):-(known(_131563)->true;chr_error(internal,Entailment Checker: try/2.
,[])),(test(_131564)->fail;true)),add_args_unif([],[],true),(add_args_unif([_131603|_131604],[_131605|_131606],(_131603=_131605,_131609)):-add_args_unif(_131604,_131606,_131609)),add_args_nunif([],[],fail),(add_args_nunif([_131632|_131633],[_131634|_131635],(_131632\=_131634;_131638)):-add_args_nunif(_131633,_131635,_131638)),add_args_nmatch([],[],fail),(add_args_nmatch([_131661|_131662],[_131663|_131664],(_131661\==_131663;_131667)):-add_args_nmatch(_131662,_131664,_131667)),(all_unique_vars(_131681,_131682):-all_unique_vars(_131681,_131682,[])),all_unique_vars([],_131691,_131692),(all_unique_vars([_131702|_131703],_131700,_131701):-var(_131702),\+memberchk_eq(_131702,_131700),\+memberchk_eq(_131702,_131701),all_unique_vars(_131703,[_131702|_131701])),(:-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_$special_fail/0/0))),<=>(test((_132017,_132018)),test/1_1_$special_,/2(_132017,_132018)),<=>(test(\+_132030),test/1_1_$special_\+/1(_132030)),<=>(test(integer(_132041)),test/1_1_$special_integer/1(_132041)),<=>(test(float(_132052)),test/1_1_$special_float/1(_132052)),<=>(test(number(_132063)),test/1_1_$special_number/1(_132063)),<=>(test(ground(_132074)),test/1_1_$special_ground/1(_132074)),<=>(test(_132085=:=_132086),test/1_1_$special_=:=/2(_132085,_132086)),<=>(test(_132098==_132099),test/1_1_$special_==/2(_132098,_132099)),<=>(test(true),test/1_1_$special_true/0),<=>(test(functor(_132118,_132119,_132120)),test/1_1_$special_functor/3(_132118,_132119,_132120)),<=>(test(_132133=_132134),test/1_1_$special_=/2(_132133,_132134)),<=>(test((_132146;_132147)),test/1_1_$special_;/2(_132146,_132147)),<=>(test(_132159 is _132160),test/1_1_$special_is/2(_132159,_132160)),<=>(test(_132172<_132173),test/1_1_$special_</2(_132172,_132173)),<=>(test(_132185>=_132186),test/1_1_$s
pecial_>=/2(_132185,_132186)),<=>(test(_132198>_132199),test/1_1_$special_>/2(_132198,_132199)),<=>(test(_132211=\=_132212),test/1_1_$special_=\=/2(_132211,_132212)),<=>(test(_132224=<_132225),test/1_1_$special_=</2(_132224,_132225)),<=>(test(_132237\==_132238),test/1_1_$special_\==/2(_132237,_132238)),<=>(test(_132248),test/1_1_$default(_132248)),<=>(known((_132259;_132260)),known/1_1_$special_;/2(_132259,_132260)),<=>(known(nonvar(_132272)),known/1_1_$special_nonvar/1(_132272)),<=>(known(var(_132283)),known/1_1_$special_var/1(_132283)),<=>(known(atom(_132294)),known/1_1_$special_atom/1(_132294)),<=>(known(atomic(_132305)),known/1_1_$special_atomic/1(_132305)),<=>(known(compound(_132316)),known/1_1_$special_compound/1(_132316)),<=>(known(ground(_132327)),known/1_1_$special_ground/1(_132327)),<=>(known(integer(_132338)),known/1_1_$special_integer/1(_132338)),<=>(known(float(_132349)),known/1_1_$special_float/1(_132349)),<=>(known(number(_132360)),known/1_1_$special_number/1(
_132360)),<=>(known(_132371=\=_132372),known/1_1_$special_=\=/2(_132371,_132372)),<=>(known(\+_132384),known/1_1_$special_\+/1(_132384)),<=>(known(functor(_132395,_132396,_132397)),known/1_1_$special_functor/3(_132395,_132396,_132397)),<=>(known(_132410\=_132411),known/1_1_$special_\=/2(_132410,_132411)),<=>(known(_132423=_132424),known/1_1_$special_=/2(_132423,_132424)),<=>(known((_132436,_132437)),known/1_1_$special_,/2(_132436,_132437)),<=>(known(_132449\==_132450),known/1_1_$special_\==/2(_132449,_132450)),<=>(known(_132462==_132463),known/1_1_$special_==/2(_132462,_132463)),<=>(known(_132475 is _132476),known/1_1_$special_is/2(_132475,_132476)),<=>(known(_132488<_132489),known/1_1_$special_</2(_132488,_132489)),<=>(known(_132501>=_132502),known/1_1_$special_>=/2(_132501,_132502)),<=>(known(_132514>_132515),known/1_1_$special_>/2(_132514,_132515)),<=>(known(_132527=<_132528),known/1_1_$special_=</2(_132527,_132528)),<=>(known(_132540=:=_132541),known/1_1_$special_=:=/2(_
132540,_132541)),<=>(known(fail),known/1_1_$special_fail/0),<=>(known(_132558),known/1_1_$default(_132558)),<=>(\(known/1_1_$special_;/2(_132570,_132571),known/1_1_$special_;/2(_132570,_132571)),true),<=>(\(known/1_1_$special_nonvar/1(_132584),known/1_1_$special_nonvar/1(_132584)),true),<=>(\(known/1_1_$special_var/1(_132596),known/1_1_$special_var/1(_132596)),true),<=>(\(known/1_1_$special_atom/1(_132608),known/1_1_$special_atom/1(_132608)),true),<=>(\(known/1_1_$special_atomic/1(_132620),known/1_1_$special_atomic/1(_132620)),true),<=>(\(known/1_1_$special_compound/1(_132632),known/1_1_$special_compound/1(_132632)),true),<=>(\(known/1_1_$special_ground/1(_132644),known/1_1_$special_ground/1(_132644)),true),<=>(\(known/1_1_$special_integer/1(_132656),known/1_1_$special_integer/1(_132656)),true),<=>(\(known/1_1_$special_float/1(_132668),known/1_1_$special_float/1(_132668)),true),<=>(\(known/1_1_$special_number/1(_132680),known/1_1_$special_number/1(_132680)),true),<=>(\(known
/1_1_$special_=\=/2(_132692,_132693),known/1_1_$special_=\=/2(_132692,_132693)),true),<=>(\(known/1_1_$special_\+/1(_132706),known/1_1_$special_\+/1(_132706)),true),<=>(\(known/1_1_$special_functor/3(_132718,_132719,_132720),known/1_1_$special_functor/3(_132718,_132719,_132720)),true),<=>(\(known/1_1_$special_\=/2(_132734,_132735),known/1_1_$special_\=/2(_132734,_132735)),true),<=>(\(known/1_1_$special_=/2(_132748,_132749),known/1_1_$special_=/2(_132748,_132749)),true),<=>(\(known/1_1_$special_,/2(_132762,_132763),known/1_1_$special_,/2(_132762,_132763)),true),<=>(\(known/1_1_$special_\==/2(_132776,_132777),known/1_1_$special_\==/2(_132776,_132777)),true),<=>(\(known/1_1_$special_==/2(_132790,_132791),known/1_1_$special_==/2(_132790,_132791)),true),<=>(\(known/1_1_$special_is/2(_132804,_132805),known/1_1_$special_is/2(_132804,_132805)),true),<=>(\(known/1_1_$special_</2(_132818,_132819),known/1_1_$special_</2(_132818,_132819)),true),<=>(\(known/1_1_$special_>=/2(_132832,_132
833),known/1_1_$special_>=/2(_132832,_132833)),true),<=>(\(known/1_1_$special_>/2(_132846,_132847),known/1_1_$special_>/2(_132846,_132847)),true),<=>(\(known/1_1_$special_=</2(_132860,_132861),known/1_1_$special_=</2(_132860,_132861)),true),<=>(\(known/1_1_$special_=:=/2(_132874,_132875),known/1_1_$special_=:=/2(_132874,_132875)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_fail/0),true),<=>(\(known/1_1_$default(_132896),known/1_1_$default(_132896)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_,/2(_132908,_132909)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_\+/1(_132919)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_integer/1(_132929)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_float/1(_132939)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_number/1(_132949)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_ground/1(_132959)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_=:=/2(_132969,_132
970)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_==/2(_132980,_132981)),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(_132999,_133000,_133001)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_=/2(_133011,_133012)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_;/2(_133022,_133023)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_is/2(_133033,_133034)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_</2(_133044,_133045)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_>=/2(_133055,_133056)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_>/2(_133066,_133067)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_=\=/2(_133077,_133078)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_=</2(_133088,_133089)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$special_\==/2(_133099,_133100)),true),<=>(\(known/1_1_$special_fail/0,t
est/1_1_$default(_133110)),true),<=>(\(known/1_1_$special_;/2(_133120,_133121),test/1_1_$special_;/2(_133120,_133121)),true),<=>(\(known/1_1_$special_nonvar/1(_133134),test/1_1_$default(nonvar(_133134))),true),<=>(\(known/1_1_$special_var/1(_133148),test/1_1_$default(var(_133148))),true),<=>(\(known/1_1_$special_atom/1(_133162),test/1_1_$default(atom(_133162))),true),<=>(\(known/1_1_$special_atomic/1(_133176),test/1_1_$default(atomic(_133176))),true),<=>(\(known/1_1_$special_compound/1(_133190),test/1_1_$default(compound(_133190))),true),<=>(\(known/1_1_$special_ground/1(_133204),test/1_1_$special_ground/1(_133204)),true),<=>(\(known/1_1_$special_integer/1(_133216),test/1_1_$special_integer/1(_133216)),true),<=>(\(known/1_1_$special_float/1(_133228),test/1_1_$special_float/1(_133228)),true),<=>(\(known/1_1_$special_number/1(_133240),test/1_1_$special_number/1(_133240)),true),<=>(\(known/1_1_$special_=\=/2(_133252,_133253),test/1_1_$special_=\=/2(_133252,_133253)),true),<=>(\
(known/1_1_$special_\+/1(_133266),test/1_1_$special_\+/1(_133266)),true),<=>(\(known/1_1_$special_functor/3(_133278,_133279,_133280),test/1_1_$special_functor/3(_133278,_133279,_133280)),true),<=>(\(known/1_1_$special_\=/2(_133294,_133295),test/1_1_$default(_133294\=_133295)),true),<=>(\(known/1_1_$special_=/2(_133310,_133311),test/1_1_$special_=/2(_133310,_133311)),true),<=>(\(known/1_1_$special_,/2(_133324,_133325),test/1_1_$special_,/2(_133324,_133325)),true),<=>(\(known/1_1_$special_\==/2(_133338,_133339),test/1_1_$special_\==/2(_133338,_133339)),true),<=>(\(known/1_1_$special_==/2(_133352,_133353),test/1_1_$special_==/2(_133352,_133353)),true),<=>(\(known/1_1_$special_is/2(_133366,_133367),test/1_1_$special_is/2(_133366,_133367)),true),<=>(\(known/1_1_$special_</2(_133380,_133381),test/1_1_$special_</2(_133380,_133381)),true),<=>(\(known/1_1_$special_>=/2(_133394,_133395),test/1_1_$special_>=/2(_133394,_133395)),true),<=>(\(known/1_1_$special_>/2(_133408,_133409),test/1
_1_$special_>/2(_133408,_133409)),true),<=>(\(known/1_1_$special_=</2(_133422,_133423),test/1_1_$special_=</2(_133422,_133423)),true),<=>(\(known/1_1_$special_=:=/2(_133436,_133437),test/1_1_$special_=:=/2(_133436,_133437)),true),<=>(\(known/1_1_$special_fail/0,test/1_1_$default(fail)),true),<=>(\(known/1_1_$default(_133460),test/1_1_$default(_133460)),true),<=>(test/1_1_$special_\==/2(_133469,_133470),(nonvar(_133470),functor(_133470,_133481,_133482)| _133470=..[_133489|_133490],length(_133495,_133482),_133501=..[_133481|_133495],add_args_nmatch(_133495,_133490,_133511),_133516=(\+functor(_133469,_133481,_133482);functor(_133469,_133481,_133482),_133469=_133501,_133511),test(_133516))),<=>(test/1_1_$special_\==/2(_133548,_133549),(nonvar(_133548)| test/1_1_$special_\==/2(_133549,_133548))),<=>(\(known/1_1_$special_=:=/2(_133567,_133568),test/1_1_$special_=</2(_133567,_133568)),true),<=>(\(known/1_1_$special_=:=/2(_133581,_133582),test/1_1_$special_=</2(_133581,_133585)),(nu
mber(_133585),number(_133582),_133582=<_133585 | true)),<=>(\(known/1_1_$special_=:=/2(_133611,_133612),test/1_1_$special_=</2(_133614,_133611)),(number(_133614),number(_133612),_133614=<_133612 | true)),<=>(\(known/1_1_$special_=</2(_133641,_133642),test/1_1_$special_=</2(_133641,_133645)),(number(_133645),number(_133642),_133642=<_133645 | true)),<=>(\(known/1_1_$special_=</2(_133671,_133672),test/1_1_$special_=</2(_133674,_133672)),(number(_133671),number(_133674),_133674=<_133671 | true)),<=>(\(known/1_1_$special_=</2(_133701,_133702),test/1_1_$special_=\=/2(_133701,_133705)),(number(_133705),number(_133702),_133705>_133702 | true)),<=>(\(known/1_1_$special_=</2(_133731,_133732),test/1_1_$special_=\=/2(_133732,_133735)),(number(_133731),number(_133735),_133735<_133731 | true)),<=>(known/1_1_$special_>/2(_133758,_133759),known/1_1_$special_</2(_133759,_133758)),<=>(known/1_1_$special_>=/2(_133769,_133770),known/1_1_$special_=</2(_133770,_133769)),<=>(known/1_1_$special_</
2(_133780,_133781),(known/1_1_$special_=</2(_133780,_133781),known/1_1_$special_=\=/2(_133780,_133781))),<=>(known/1_1_$special_is/2(_133797,_133798),known/1_1_$special_=:=/2(_133797,_133798)),<=>(test/1_1_$special_>/2(_133808,_133809),test/1_1_$special_</2(_133809,_133808)),<=>(test/1_1_$special_>=/2(_133819,_133820),test/1_1_$special_=</2(_133820,_133819)),<=>(test/1_1_$special_</2(_133830,_133831),test/1_1_$special_,/2(_133830=<_133831,_133830=\=_133831)),<=>(test/1_1_$special_is/2(_133847,_133848),test/1_1_$special_=:=/2(_133847,_133848)),==>(known/1_1_$special_==/2(_133858,_133859),(number(_133858)| known/1_1_$special_=:=/2(_133858,_133859))),==>(known/1_1_$special_==/2(_133874,_133875),(number(_133875)| known/1_1_$special_=:=/2(_133874,_133875))),==>(known/1_1_$special_\==/2(_133890,_133891),(number(_133890)| known/1_1_$special_=\=/2(_133890,_133891))),==>(known/1_1_$special_\==/2(_133906,_133907),(number(_133907)| known/1_1_$special_=\=/2(_133906,_133907))),<=>(\(know
n/1_1_$special_fail/0,known/1_1_$special_;/2(_133925,_133926)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_nonvar/1(_133936)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_var/1(_133946)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_atom/1(_133956)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_atomic/1(_133966)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_compound/1(_133976)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_ground/1(_133986)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_integer/1(_133996)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_float/1(_134006)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_number/1(_134016)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_=\=/2(_134026,_134027)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_\+/1(_134037)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_functor/3(_134047,_134048,_134049))
,true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_\=/2(_134059,_134060)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_=/2(_134070,_134071)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_,/2(_134081,_134082)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_\==/2(_134092,_134093)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_==/2(_134103,_134104)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_is/2(_134114,_134115)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_</2(_134125,_134126)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_>=/2(_134136,_134137)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_>/2(_134147,_134148)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_=</2(_134158,_134159)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_=:=/2(_134169,_134170)),true),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_fail/0),true),<=>(\(known/1_1_$special_fail/0,known/1
_1_$default(_134188)),true),<=>(known/1_1_$special_,/2(_134195,_134196),(known(_134195),known(_134196))),<=>(known/1_1_$special_=:=/2(_134210,_134210),true),<=>(known/1_1_$special_==/2(_134218,_134218),true),<=>(known/1_1_$special_=</2(_134226,_134226),true),<=>(known/1_1_$special_=/2(_134234,_134234),true),<=>(known/1_1_$special_=/2(_134242,_134243),(var(_134242)| _134242=_134243)),<=>(known/1_1_$special_=/2(_134258,_134259),(var(_134259)| _134258=_134259)),<=>(known/1_1_$special_\=/2(_134274,_134275),(ground(_134274),ground(_134275),_134274=_134275 | known/1_1_$special_fail/0)),<=>((variables(_134301),known/1_1_$special_functor/3(_134303,_134304,_134305)),(var(_134303),ground(_134304),ground(_134305)| functor(_134303,_134304,_134305),_134303=..[_134334|_134335],append(_134335,_134301,_134342),variables(_134342))),<=>(known/1_1_$special_functor/3(_134351,_134352,_134353),(nonvar(_134351),\+functor(_134351,_134352,_134353)| known/1_1_$special_fail/0)),<=>(known/1_1_$special_
\+/1(functor(_134376,_134377,_134378)),(nonvar(_134376),functor(_134376,_134377,_134378)| known/1_1_$special_fail/0)),<=>((known/1_1_$special_functor/3(_134400,_134401,_134402),known/1_1_$special_functor/3(_134400,_134405,_134406)),(nonvar(_134401),nonvar(_134402),nonvar(_134405),nonvar(_134406)| known/1_1_$special_fail/0)),<=>(known/1_1_$special_\=/2(_134433,_134433),known/1_1_$special_fail/0),<=>(known/1_1_$special_=/2(_134441,_134442),(nonvar(_134441),nonvar(_134442),functor(_134441,_134458,_134459)| functor(_134442,_134458,_134459),_134441=_134442->true;known/1_1_$special_fail/0)),<=>(known/1_1_$special_\=/2(_134482,_134483),(var(_134482),nonvar(_134483),functor(_134483,_134502,_134503),_134503>0 | length(_134511,_134503),_134483=..[_134502|_134520],_134525=..[_134502|_134511],add_args_nunif(_134520,_134511,_134535),_134540=(\+functor(_134482,_134502,_134503);_134482=_134525,_134535),known(_134540))),<=>(known/1_1_$special_\=/2(_134565,_134566),(nonvar(_134565),nonvar(_1
34566),functor(_134565,_134582,_134583)| functor(_134566,_134582,_134583)->_134565=..[_134582|_134601],_134566=..[_134582|_134609],add_args_nunif(_134601,_134609,_134616),known(_134616);true)),==>(known/1_1_$special_\=/2(_134625,_134626),known/1_1_$special_\=/2(_134626,_134625)),<=>(known/1_1_$special_=</2(_134636,_134637),(number(_134636),number(_134637),_134636>_134637 | known/1_1_$special_fail/0)),<=>(\(known/1_1_$special_=</2(_134663,_134664),known/1_1_$special_=</2(_134663,_134667)),(number(_134664),number(_134667),_134664=<_134667 | true)),<=>(\(known/1_1_$special_=</2(_134693,_134694),known/1_1_$special_=</2(_134696,_134694)),(number(_134696),number(_134693),_134696=<_134693 | true)),<=>((known/1_1_$special_=</2(_134723,_134724),known/1_1_$special_=</2(_134724,_134723)),known/1_1_$special_=:=/2(_134723,_134724)),==>((known/1_1_$special_=</2(_134740,_134741),known/1_1_$special_=</2(_134741,_134744)),known/1_1_$special_=</2(_134740,_134744)),==>((known/1_1_$special_=</2
(_134757,_134758),known/1_1_$special_=\=/2(_134757,_134758),known/1_1_$special_=</2(_134758,_134770),known/1_1_$special_=\=/2(_134758,_134770)),known/1_1_$special_=\=/2(_134757,_134770)),<=>(known/1_1_$special_=:=/2(_134783,_134784),(number(_134783),number(_134784),_134783=\=_134784 | known/1_1_$special_fail/0)),<=>(known/1_1_$special_=\=/2(_134807,_134808),(number(_134807),number(_134808),_134807=:=_134808 | known/1_1_$special_fail/0)),<=>(known/1_1_$special_=\=/2(_134831,_134831),known/1_1_$special_fail/0),<=>((known/1_1_$special_=:=/2(_134842,_134843),known/1_1_$special_=\=/2(_134842,_134843)),known/1_1_$special_fail/0),==>((known/1_1_$special_=:=/2(_134856,_134857),known/1_1_$special_=:=/2(_134857,_134860)),(_134856\==_134860 | known/1_1_$special_=:=/2(_134856,_134860))),==>(known/1_1_$special_=:=/2(_134876,_134877),known/1_1_$special_=:=/2(_134877,_134876)),==>(known/1_1_$special_=\=/2(_134887,_134888),known/1_1_$special_=\=/2(_134888,_134887)),<=>(known/1_1_$special_nu
mber/1(_134898),(nonvar(_134898),\+number(_134898)| known/1_1_$special_fail/0)),<=>(known/1_1_$special_float/1(_134917),(nonvar(_134917),\+float(_134917)| known/1_1_$special_fail/0)),<=>(known/1_1_$special_integer/1(_134936),(nonvar(_134936),\+integer(_134936)| known/1_1_$special_fail/0)),==>(known/1_1_$special_integer/1(_134955),known/1_1_$special_number/1(_134955)),==>(known/1_1_$special_float/1(_134964),known/1_1_$special_number/1(_134964)),<=>((known/1_1_$special_;/2(_134976,_134977),known/1_1_$special_\+/1((_134976;_134977))),known/1_1_$special_fail/0),<=>((known/1_1_$special_nonvar/1(_134992),known/1_1_$special_\+/1(nonvar(_134992))),known/1_1_$special_fail/0),<=>((known/1_1_$special_var/1(_135006),known/1_1_$special_\+/1(var(_135006))),known/1_1_$special_fail/0),<=>((known/1_1_$special_atom/1(_135020),known/1_1_$special_\+/1(atom(_135020))),known/1_1_$special_fail/0),<=>((known/1_1_$special_atomic/1(_135034),known/1_1_$special_\+/1(atomic(_135034))),known/1_1_$special
_fail/0),<=>((known/1_1_$special_compound/1(_135048),known/1_1_$special_\+/1(compound(_135048))),known/1_1_$special_fail/0),<=>((known/1_1_$special_ground/1(_135062),known/1_1_$special_\+/1(ground(_135062))),known/1_1_$special_fail/0),<=>((known/1_1_$special_integer/1(_135076),known/1_1_$special_\+/1(integer(_135076))),known/1_1_$special_fail/0),<=>((known/1_1_$special_float/1(_135090),known/1_1_$special_\+/1(float(_135090))),known/1_1_$special_fail/0),<=>((known/1_1_$special_number/1(_135104),known/1_1_$special_\+/1(number(_135104))),known/1_1_$special_fail/0),<=>((known/1_1_$special_=\=/2(_135118,_135119),known/1_1_$special_\+/1(_135118=\=_135119)),known/1_1_$special_fail/0),<=>((known/1_1_$special_\+/1(_135134),known/1_1_$special_\+/1(\+_135134)),known/1_1_$special_fail/0),<=>((known/1_1_$special_functor/3(_135148,_135149,_135150),known/1_1_$special_\+/1(functor(_135148,_135149,_135150))),known/1_1_$special_fail/0),<=>((known/1_1_$special_\=/2(_135166,_135167),known/1_1_$
special_\+/1(_135166\=_135167)),known/1_1_$special_fail/0),<=>((known/1_1_$special_=/2(_135182,_135183),known/1_1_$special_\+/1(_135182=_135183)),known/1_1_$special_fail/0),<=>((known/1_1_$special_,/2(_135198,_135199),known/1_1_$special_\+/1((_135198,_135199))),known/1_1_$special_fail/0),<=>((known/1_1_$special_\==/2(_135214,_135215),known/1_1_$special_\+/1(_135214\==_135215)),known/1_1_$special_fail/0),<=>((known/1_1_$special_==/2(_135230,_135231),known/1_1_$special_\+/1(_135230==_135231)),known/1_1_$special_fail/0),<=>((known/1_1_$special_is/2(_135246,_135247),known/1_1_$special_\+/1(_135246 is _135247)),known/1_1_$special_fail/0),<=>((known/1_1_$special_</2(_135262,_135263),known/1_1_$special_\+/1(_135262<_135263)),known/1_1_$special_fail/0),<=>((known/1_1_$special_>=/2(_135278,_135279),known/1_1_$special_\+/1(_135278>=_135279)),known/1_1_$special_fail/0),<=>((known/1_1_$special_>/2(_135294,_135295),known/1_1_$special_\+/1(_135294>_135295)),known/1_1_$special_fail/0),<=>(
(known/1_1_$special_=</2(_135310,_135311),known/1_1_$special_\+/1(_135310=<_135311)),known/1_1_$special_fail/0),<=>((known/1_1_$special_=:=/2(_135326,_135327),known/1_1_$special_\+/1(_135326=:=_135327)),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(_135352),known/1_1_$special_\+/1(_135352)),known/1_1_$special_fail/0),<=>((known/1_1_$special_\==/2(_135364,_135365),known/1_1_$special_==/2(_135364,_135365)),known/1_1_$special_fail/0),==>((known/1_1_$special_==/2(_135378,_135379),known/1_1_$special_==/2(_135379,_135382)),known/1_1_$special_==/2(_135378,_135382)),==>((known/1_1_$special_==/2(_135395,_135396),known/1_1_$special_\==/2(_135396,_135399)),known/1_1_$special_\==/2(_135395,_135399)),==>(known/1_1_$special_==/2(_135409,_135410),known/1_1_$special_==/2(_135410,_135409)),==>(known/1_1_$special_\==/2(_135420,_135421),known/1_1_$special_\==/2(_135421,_135420)),==>(known/1_1_$special
_\==/2(_135431,_135431),known/1_1_$special_fail/0),<=>(known/1_1_$special_\==/2(_135439,_135440),(nonvar(_135439),nonvar(_135440),functor(_135439,_135456,_135457)| functor(_135440,_135456,_135457)->_135439=..[_135456|_135475],_135440=..[_135456|_135483],add_args_nmatch(_135475,_135483,_135490),known(_135490);true)),==>(known/1_1_$special_==/2(_135499,_135500),known/1_1_$special_=/2(_135499,_135500)),==>(known/1_1_$special_ground/1(_135510),known/1_1_$special_nonvar/1(_135510)),==>(known/1_1_$special_compound/1(_135519),known/1_1_$special_nonvar/1(_135519)),==>(known/1_1_$special_atomic/1(_135528),known/1_1_$special_nonvar/1(_135528)),==>(known/1_1_$special_number/1(_135537),known/1_1_$special_nonvar/1(_135537)),==>(known/1_1_$special_atom/1(_135546),known/1_1_$special_nonvar/1(_135546)),<=>((known/1_1_$special_var/1(_135558),known/1_1_$special_nonvar/1(_135558)),known/1_1_$special_fail/0),<=>(\(known/1_1_$special_;/2(_135570,_135571),known/1_1_$special_;/2(\+ (_135570;_13557
1),_135574)),known(_135574)),<=>(\(known/1_1_$special_nonvar/1(_135591),known/1_1_$special_;/2(\+nonvar(_135591),_135594)),known(_135594)),<=>(\(known/1_1_$special_var/1(_135610),known/1_1_$special_;/2(\+var(_135610),_135613)),known(_135613)),<=>(\(known/1_1_$special_atom/1(_135629),known/1_1_$special_;/2(\+atom(_135629),_135632)),known(_135632)),<=>(\(known/1_1_$special_atomic/1(_135648),known/1_1_$special_;/2(\+atomic(_135648),_135651)),known(_135651)),<=>(\(known/1_1_$special_compound/1(_135667),known/1_1_$special_;/2(\+compound(_135667),_135670)),known(_135670)),<=>(\(known/1_1_$special_ground/1(_135686),known/1_1_$special_;/2(\+ground(_135686),_135689)),known(_135689)),<=>(\(known/1_1_$special_integer/1(_135705),known/1_1_$special_;/2(\+integer(_135705),_135708)),known(_135708)),<=>(\(known/1_1_$special_float/1(_135724),known/1_1_$special_;/2(\+float(_135724),_135727)),known(_135727)),<=>(\(known/1_1_$special_number/1(_135743),known/1_1_$special_;/2(\+number(_135743),_1
35746)),known(_135746)),<=>(\(known/1_1_$special_=\=/2(_135762,_135763),known/1_1_$special_;/2(\+_135762=\=_135763,_135766)),known(_135766)),<=>(\(known/1_1_$special_\+/1(_135783),known/1_1_$special_;/2(\+ \+_135783,_135786)),known(_135786)),<=>(\(known/1_1_$special_functor/3(_135802,_135803,_135804),known/1_1_$special_;/2(\+functor(_135802,_135803,_135804),_135807)),known(_135807)),<=>(\(known/1_1_$special_\=/2(_135825,_135826),known/1_1_$special_;/2(\+_135825\=_135826,_135829)),known(_135829)),<=>(\(known/1_1_$special_=/2(_135846,_135847),known/1_1_$special_;/2(\+_135846=_135847,_135850)),known(_135850)),<=>(\(known/1_1_$special_,/2(_135867,_135868),known/1_1_$special_;/2(\+ (_135867,_135868),_135871)),known(_135871)),<=>(\(known/1_1_$special_\==/2(_135888,_135889),known/1_1_$special_;/2(\+_135888\==_135889,_135892)),known(_135892)),<=>(\(known/1_1_$special_==/2(_135909,_135910),known/1_1_$special_;/2(\+_135909==_135910,_135913)),known(_135913)),<=>(\(known/1_1_$special_is
/2(_135930,_135931),known/1_1_$special_;/2(\+_135930 is _135931,_135934)),known(_135934)),<=>(\(known/1_1_$special_</2(_135951,_135952),known/1_1_$special_;/2(\+_135951<_135952,_135955)),known(_135955)),<=>(\(known/1_1_$special_>=/2(_135972,_135973),known/1_1_$special_;/2(\+_135972>=_135973,_135976)),known(_135976)),<=>(\(known/1_1_$special_>/2(_135993,_135994),known/1_1_$special_;/2(\+_135993>_135994,_135997)),known(_135997)),<=>(\(known/1_1_$special_=</2(_136014,_136015),known/1_1_$special_;/2(\+_136014=<_136015,_136018)),known(_136018)),<=>(\(known/1_1_$special_=:=/2(_136035,_136036),known/1_1_$special_;/2(\+_136035=:=_136036,_136039)),known(_136039)),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_;/2(\+fail,_136057)),known(_136057)),<=>(\(known/1_1_$default(_136071),known/1_1_$special_;/2(\+_136071,_136074)),known(_136074)),<=>(\(known/1_1_$special_;/2(_136088,_136089),known/1_1_$special_;/2((\+ (_136088;_136089),_136095),_136092)),known(_136092)),<=>(\(known/1_1_$sp
ecial_nonvar/1(_136112),known/1_1_$special_;/2((\+nonvar(_136112),_136118),_136115)),known(_136115)),<=>(\(known/1_1_$special_var/1(_136134),known/1_1_$special_;/2((\+var(_136134),_136140),_136137)),known(_136137)),<=>(\(known/1_1_$special_atom/1(_136156),known/1_1_$special_;/2((\+atom(_136156),_136162),_136159)),known(_136159)),<=>(\(known/1_1_$special_atomic/1(_136178),known/1_1_$special_;/2((\+atomic(_136178),_136184),_136181)),known(_136181)),<=>(\(known/1_1_$special_compound/1(_136200),known/1_1_$special_;/2((\+compound(_136200),_136206),_136203)),known(_136203)),<=>(\(known/1_1_$special_ground/1(_136222),known/1_1_$special_;/2((\+ground(_136222),_136228),_136225)),known(_136225)),<=>(\(known/1_1_$special_integer/1(_136244),known/1_1_$special_;/2((\+integer(_136244),_136250),_136247)),known(_136247)),<=>(\(known/1_1_$special_float/1(_136266),known/1_1_$special_;/2((\+float(_136266),_136272),_136269)),known(_136269)),<=>(\(known/1_1_$special_number/1(_136288),known/1_1_$
special_;/2((\+number(_136288),_136294),_136291)),known(_136291)),<=>(\(known/1_1_$special_=\=/2(_136310,_136311),known/1_1_$special_;/2((\+_136310=\=_136311,_136317),_136314)),known(_136314)),<=>(\(known/1_1_$special_\+/1(_136334),known/1_1_$special_;/2((\+ \+_136334,_136340),_136337)),known(_136337)),<=>(\(known/1_1_$special_functor/3(_136356,_136357,_136358),known/1_1_$special_;/2((\+functor(_136356,_136357,_136358),_136364),_136361)),known(_136361)),<=>(\(known/1_1_$special_\=/2(_136382,_136383),known/1_1_$special_;/2((\+_136382\=_136383,_136389),_136386)),known(_136386)),<=>(\(known/1_1_$special_=/2(_136406,_136407),known/1_1_$special_;/2((\+_136406=_136407,_136413),_136410)),known(_136410)),<=>(\(known/1_1_$special_,/2(_136430,_136431),known/1_1_$special_;/2((\+ (_136430,_136431),_136437),_136434)),known(_136434)),<=>(\(known/1_1_$special_\==/2(_136454,_136455),known/1_1_$special_;/2((\+_136454\==_136455,_136461),_136458)),known(_136458)),<=>(\(known/1_1_$special_==/2(
_136478,_136479),known/1_1_$special_;/2((\+_136478==_136479,_136485),_136482)),known(_136482)),<=>(\(known/1_1_$special_is/2(_136502,_136503),known/1_1_$special_;/2((\+_136502 is _136503,_136509),_136506)),known(_136506)),<=>(\(known/1_1_$special_</2(_136526,_136527),known/1_1_$special_;/2((\+_136526<_136527,_136533),_136530)),known(_136530)),<=>(\(known/1_1_$special_>=/2(_136550,_136551),known/1_1_$special_;/2((\+_136550>=_136551,_136557),_136554)),known(_136554)),<=>(\(known/1_1_$special_>/2(_136574,_136575),known/1_1_$special_;/2((\+_136574>_136575,_136581),_136578)),known(_136578)),<=>(\(known/1_1_$special_=</2(_136598,_136599),known/1_1_$special_;/2((\+_136598=<_136599,_136605),_136602)),known(_136602)),<=>(\(known/1_1_$special_=:=/2(_136622,_136623),known/1_1_$special_;/2((\+_136622=:=_136623,_136629),_136626)),known(_136626)),<=>(\(known/1_1_$special_fail/0,known/1_1_$special_;/2((\+fail,_136650),_136647)),known(_136647)),<=>(\(known/1_1_$default(_136664),known/1_1_$s
pecial_;/2((\+_136664,_136670),_136667)),known(_136667)),<=>(\(known/1_1_$special_\+/1(_136684),known/1_1_$special_;/2(_136684,_136687)),known(_136687)),<=>(\(known/1_1_$special_\+/1(_136699),known/1_1_$special_;/2((_136699,_136705),_136702)),known(_136702)),<=>(known/1_1_$special_;/2(fail,_136715),known(_136715)),<=>(known/1_1_$special_;/2(_136724,fail),known(_136724)),<=>(known/1_1_$special_;/2(true,_136735),true),<=>(known/1_1_$special_;/2(_136742,true),true),<=>(\(known/1_1_$special_functor/3(_136753,_136754,_136755),known/1_1_$special_;/2(\+functor(_136753,_136763,_136764),_136758)),true),<=>(known/1_1_$special_;/2(\+functor(_136776,_136777,_136778),_136772),(nonvar(_136776),functor(_136776,_136777,_136778)| known(_136772))),<=>(known/1_1_$special_;/2(\+functor(_136804,_136805,_136806),_136800),(nonvar(_136804),\+functor(_136804,_136805,_136806)| true)),<=>(test/1_1_$special_;/2(fail,_136828),test(_136828)),<=>(test/1_1_$special_;/2(_136837,fail),test(_136837)),<=>(test
/1_1_$special_=/2(_136847,_136848),(ground(_136847),ground(_136848)| _136847=_136848)),<=>(\(variables(_136871),test/1_1_$special_functor/3(_136873,_136874,_136875)),(var(_136873),ground(_136874),ground(_136875),\+memberchk_eq(_136873,_136871)| functor(_136873,_136874,_136875))),<=>(test/1_1_$special_true/0,true),<=>(test/1_1_$special_==/2(_136914,_136915),(_136914==_136915 | true)),<=>(test/1_1_$special_=:=/2(_136928,_136929),(_136928==_136929 | true)),<=>(test/1_1_$special_=</2(_136942,_136943),(_136942==_136943 | true)),<=>(test/1_1_$special_=</2(_136956,_136957),(ground(_136956),ground(_136957),_136956=<_136957 | true)),<=>(test/1_1_$special_=</2(_136980,_136981),(ground(_136980),ground(_136981),_136980>_136981 | fail)),<=>(test/1_1_$special_=:=/2(_137004,_137005),(ground(_137004),ground(_137005),_137004=:=_137005 | true)),<=>(test/1_1_$special_=:=/2(_137028,_137029),(ground(_137028),ground(_137029),_137028=\=_137029 | fail)),<=>(test/1_1_$special_=\=/2(_137052,_137053),
(ground(_137052),ground(_137053),_137052=\=_137053 | true)),<=>(test/1_1_$special_=\=/2(_137076,_137077),(ground(_137076),ground(_137077),_137076=:=_137077 | fail)),<=>(test/1_1_$special_functor/3(_137100,_137101,_137102),(nonvar(_137100),functor(_137100,_137101,_137102)| true)),<=>(test/1_1_$special_functor/3(_137121,_137122,_137123),(nonvar(_137121)| fail)),<=>(test/1_1_$special_ground/1(_137135),(ground(_137135)| true)),<=>(test/1_1_$special_number/1(_137147),(number(_137147)| true)),<=>(test/1_1_$special_float/1(_137159),(float(_137159)| true)),<=>(test/1_1_$special_integer/1(_137171),(integer(_137171)| true)),<=>(test/1_1_$special_number/1(_137183),(nonvar(_137183)| fail)),<=>(test/1_1_$special_float/1(_137195),(nonvar(_137195)| fail)),<=>(test/1_1_$special_integer/1(_137207),(nonvar(_137207)| fail)),<=>(test/1_1_$special_\+/1(functor(_137221,_137222,_137223)),(nonvar(_137221),functor(_137221,_137222,_137223)| fail)),<=>(test/1_1_$special_\+/1(functor(_137244,_137245,_1
37246)),(nonvar(_137244)| true)),<=>(test/1_1_$special_\+/1(ground(_137260)),(ground(_137260)| fail)),<=>(test/1_1_$special_\+/1(number(_137274)),(number(_137274)| fail)),<=>(test/1_1_$special_\+/1(float(_137288)),(float(_137288)| fail)),<=>(test/1_1_$special_\+/1(integer(_137302)),(integer(_137302)| fail)),<=>(test/1_1_$special_\+/1(number(_137316)),(nonvar(_137316)| true)),<=>(test/1_1_$special_\+/1(float(_137330)),(nonvar(_137330)| true)),<=>(test/1_1_$special_\+/1(integer(_137344)),(nonvar(_137344)| true)),<=>(test/1_1_$special_,/2(_137356,_137357),(test(_137356),known(_137356),test(_137357))),<=>(test/1_1_$special_;/2(_137376,_137377),(true | negate_b(_137376,_137386),negate_b(_137377,_137392),(known(_137392),test(_137376);known(_137386),test(_137377)))),<=>((test/1_1_$special_,/2(_137419,_137420),known/1_1_$special_;/2(_137422,_137423)),(true |\+try(_137422,(_137419,_137420)),!,negate_b(_137422,_137446),known(_137446),\+try(_137423,(_137419,_137420)))),<=>((test/1_1_$s
pecial_\+/1(_137469),known/1_1_$special_;/2(_137471,_137472)),(true |\+try(_137471,\+_137469),!,negate_b(_137471,_137494),known(_137494),\+try(_137472,\+_137469))),<=>((test/1_1_$special_integer/1(_137516),known/1_1_$special_;/2(_137518,_137519)),(true |\+try(_137518,integer(_137516)),!,negate_b(_137518,_137541),known(_137541),\+try(_137519,integer(_137516)))),<=>((test/1_1_$special_float/1(_137563),known/1_1_$special_;/2(_137565,_137566)),(true |\+try(_137565,float(_137563)),!,negate_b(_137565,_137588),known(_137588),\+try(_137566,float(_137563)))),<=>((test/1_1_$special_number/1(_137610),known/1_1_$special_;/2(_137612,_137613)),(true |\+try(_137612,number(_137610)),!,negate_b(_137612,_137635),known(_137635),\+try(_137613,number(_137610)))),<=>((test/1_1_$special_ground/1(_137657),known/1_1_$special_;/2(_137659,_137660)),(true |\+try(_137659,ground(_137657)),!,negate_b(_137659,_137682),known(_137682),\+try(_137660,ground(_137657)))),<=>((test/1_1_$special_=:=/2(_137704,_137
705),known/1_1_$special_;/2(_137707,_137708)),(true |\+try(_137707,_137704=:=_137705),!,negate_b(_137707,_137731),known(_137731),\+try(_137708,_137704=:=_137705))),<=>((test/1_1_$special_==/2(_137754,_137755),known/1_1_$special_;/2(_137757,_137758)),(true |\+try(_137757,_137754==_137755),!,negate_b(_137757,_137781),known(_137781),\+try(_137758,_137754==_137755))),<=>((test/1_1_$special_true/0,known/1_1_$special_;/2(_137804,_137805)),(true |\+try(_137804,true),!,negate_b(_137804,_137825),known(_137825),\+try(_137805,true))),<=>((test/1_1_$special_functor/3(_137845,_137846,_137847),known/1_1_$special_;/2(_137849,_137850)),(true |\+try(_137849,functor(_137845,_137846,_137847)),!,negate_b(_137849,_137874),known(_137874),\+try(_137850,functor(_137845,_137846,_137847)))),<=>((test/1_1_$special_=/2(_137898,_137899),known/1_1_$special_;/2(_137901,_137902)),(true |\+try(_137901,_137898=_137899),!,negate_b(_137901,_137925),known(_137925),\+try(_137902,_137898=_137899))),<=>((test/1_1_
$special_;/2(_137948,_137949),known/1_1_$special_;/2(_137951,_137952)),(true |\+try(_137951,(_137948;_137949)),!,negate_b(_137951,_137975),known(_137975),\+try(_137952,(_137948;_137949)))),<=>((test/1_1_$special_is/2(_137998,_137999),known/1_1_$special_;/2(_138001,_138002)),(true |\+try(_138001,_137998 is _137999),!,negate_b(_138001,_138025),known(_138025),\+try(_138002,_137998 is _137999))),<=>((test/1_1_$special_</2(_138048,_138049),known/1_1_$special_;/2(_138051,_138052)),(true |\+try(_138051,_138048<_138049),!,negate_b(_138051,_138075),known(_138075),\+try(_138052,_138048<_138049))),<=>((test/1_1_$special_>=/2(_138098,_138099),known/1_1_$special_;/2(_138101,_138102)),(true |\+try(_138101,_138098>=_138099),!,negate_b(_138101,_138125),known(_138125),\+try(_138102,_138098>=_138099))),<=>((test/1_1_$special_>/2(_138148,_138149),known/1_1_$special_;/2(_138151,_138152)),(true |\+try(_138151,_138148>_138149),!,negate_b(_138151,_138175),known(_138175),\+try(_138152,_138148>_1381
49))),<=>((test/1_1_$special_=\=/2(_138198,_138199),known/1_1_$special_;/2(_138201,_138202)),(true |\+try(_138201,_138198=\=_138199),!,negate_b(_138201,_138225),known(_138225),\+try(_138202,_138198=\=_138199))),<=>((test/1_1_$special_=</2(_138248,_138249),known/1_1_$special_;/2(_138251,_138252)),(true |\+try(_138251,_138248=<_138249),!,negate_b(_138251,_138275),known(_138275),\+try(_138252,_138248=<_138249))),<=>((test/1_1_$special_\==/2(_138298,_138299),known/1_1_$special_;/2(_138301,_138302)),(true |\+try(_138301,_138298\==_138299),!,negate_b(_138301,_138325),known(_138325),\+try(_138302,_138298\==_138299))),<=>((test/1_1_$default(_138348),known/1_1_$special_;/2(_138350,_138351)),(true |\+try(_138350,_138348),!,negate_b(_138350,_138371),known(_138371),\+try(_138351,_138348))),<=>(test/1_1_$special_,/2(_138388,_138389),fail),<=>(test/1_1_$special_\+/1(_138396),fail),<=>(test/1_1_$special_integer/1(_138403),fail),<=>(test/1_1_$special_float/1(_138410),fail),<=>(test/1_1_$spe
cial_number/1(_138417),fail),<=>(test/1_1_$special_ground/1(_138424),fail),<=>(test/1_1_$special_=:=/2(_138431,_138432),fail),<=>(test/1_1_$special_==/2(_138439,_138440),fail),<=>(test/1_1_$special_true/0,fail),<=>(test/1_1_$special_functor/3(_138452,_138453,_138454),fail),<=>(test/1_1_$special_=/2(_138461,_138462),fail),<=>(test/1_1_$special_;/2(_138469,_138470),fail),<=>(test/1_1_$special_is/2(_138477,_138478),fail),<=>(test/1_1_$special_</2(_138485,_138486),fail),<=>(test/1_1_$special_>=/2(_138493,_138494),fail),<=>(test/1_1_$special_>/2(_138501,_138502),fail),<=>(test/1_1_$special_=\=/2(_138509,_138510),fail),<=>(test/1_1_$special_=</2(_138517,_138518),fail),<=>(test/1_1_$special_\==/2(_138525,_138526),fail),<=>(test/1_1_$default(_138533),fail),<=>(\(cleanup,known/1_1_$special_;/2(_138543,_138544)),true),<=>(\(cleanup,known/1_1_$special_nonvar/1(_138554)),true),<=>(\(cleanup,known/1_1_$special_var/1(_138564)),true),<=>(\(cleanup,known/1_1_$special_atom/1(_138574)),true),
<=>(\(cleanup,known/1_1_$special_atomic/1(_138584)),true),<=>(\(cleanup,known/1_1_$special_compound/1(_138594)),true),<=>(\(cleanup,known/1_1_$special_ground/1(_138604)),true),<=>(\(cleanup,known/1_1_$special_integer/1(_138614)),true),<=>(\(cleanup,known/1_1_$special_float/1(_138624)),true),<=>(\(cleanup,known/1_1_$special_number/1(_138634)),true),<=>(\(cleanup,known/1_1_$special_=\=/2(_138644,_138645)),true),<=>(\(cleanup,known/1_1_$special_\+/1(_138655)),true),<=>(\(cleanup,known/1_1_$special_functor/3(_138665,_138666,_138667)),true),<=>(\(cleanup,known/1_1_$special_\=/2(_138677,_138678)),true),<=>(\(cleanup,known/1_1_$special_=/2(_138688,_138689)),true),<=>(\(cleanup,known/1_1_$special_,/2(_138699,_138700)),true),<=>(\(cleanup,known/1_1_$special_\==/2(_138710,_138711)),true),<=>(\(cleanup,known/1_1_$special_==/2(_138721,_138722)),true),<=>(\(cleanup,known/1_1_$special_is/2(_138732,_138733)),true),<=>(\(cleanup,known/1_1_$special_</2(_138743,_138744)),true),<=>(\(cleanup,k
nown/1_1_$special_>=/2(_138754,_138755)),true),<=>(\(cleanup,known/1_1_$special_>/2(_138765,_138766)),true),<=>(\(cleanup,known/1_1_$special_=</2(_138776,_138777)),true),<=>(\(cleanup,known/1_1_$special_=:=/2(_138787,_138788)),true),<=>(\(cleanup,known/1_1_$special_fail/0),true),<=>(\(cleanup,known/1_1_$default(_138806)),true),<=>(\(cleanup,variables(_138816)),true),<=>(cleanup,true)],_131097)
gmake[1]: *** [Makefile:125: chr_translate.pl] Error 1
gmake[1]: Leaving directory '/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2/packages/chr'
gmake: *** [Makefile:645: install_data] Error 2
*** Error code 2
Stop.
make: stopped making "stage" in /usr/ports/lang/yap