flexoron
flexoron
``` $ tpl Trealla Prolog (c) Infradig 2020-2022, v2.7.6 ?- listing. true. ?- length(X,X). error(resource_error(finite_memory),length/2). ?- listing. :-module(lists,[member/2,memberchk/2,select/3,selectchk/3,append/2,append/3,subtract/3,union/3,intersection/3,is_set/1,nth1/3,nth0/3,nth1/4,nth0/4,last/2,flatten/2,same_length/2,sum_list/2,prod_list/2,max_list/2,min_list/2,list_to_conjunction/2,conjunction_to_list/2,numlist/3,length/2,reverse/2]). :-module(lists,[member/2,memberchk/2,select/3,selectchk/3,append/2,append/3,subtract/3,union/3,intersection/3,is_set/1,nth1/3,nth0/3,nth1/4,nth0/4,last/2,flatten/2,same_length/2,sum_list/2,prod_list/2,max_list/2,min_list/2,list_to_conjunction/2,conjunction_to_list/2,numlist/3,length/2,reverse/2]). member(A,[A|B]). member(A,[B|C]) :- member(A,C). memberchk(A,B) :- member(A,B),! . select(A,[A|B],B). select(A,[B|C],[B|D]) :-...
``` $ scryer-prolog -f ?- use_module(library(clpz)). true. ?- assertz(clpz:monotonic). true. ?- 1 #= X. error(instantiation_error,instantiation_error(unknown(_47),1)). ?- retract(clpz:monotonic). true. ?- 1 #= X. X = 1. ?- halt. $ scryer-prolog -f...
``` ?- op(1,xfx,'is-'). true. ?- current_op(1,X,Y). false. % unexpected ?- ```
``` ?- [user]. {x|y|z}. ?- X =.. [{},(A|B|C)], call(X). error(syntax_error(incomplete_reduction),read_term/3:1). % unexpected X = {x|y|z}, A = x, B = y, C = z. % expected but not found. ?-...
``` $ scryer-prolog -f ?- [user]. a :- b:c. c. ?- a. error(existence_error(procedure,c/0),c/0). % unexpected, c/0 exist, b:c/0 does not exist. ?- c. true. ?- ```
v0.9.4-135-g7cfe8ee5 ``` ?- X = [+, Z-Z, Z-Z+Z], Z = Z-Z+Z, Z =.. X. X = [+,Z-Z+Z-(Z-Z+Z),Z-Z+Z-(Z-Z+Z)+(Z-Z+Z)], Z = Z-Z+Z. ?- [+,Z-Z+Z-(Z-Z+Z),Z-Z+Z-(Z-Z+Z)+(Z-Z+Z)] = [+, Z-Z, Z-Z+Z]. Z = Z-Z+Z. %...
GSL: Bugs
``` This bundle is mathematically error free: matrix_calloc permutation_alloc LU_decomp LU_det Exercisers: $ cat x.c #include #include #include int main (int argc, char *argv[]) { int sig, stat; double det;...
``` ?- [user]. 'P'. error(permission_error(create,static_procedure,nameless_procedure),load/1). % unexpected ?- ```
``` ?- Z = .\\ + //. . Z = .\\ + //.. % unexpected, expecting Z = .\\ + //. . ?- ```