yap-6.3/regression/modules/goal_expansion_tests.yap

                               
:- use_module(library(lists)).


test a(X) returns atom(X) .+
given  user:goal_expansion(a(X), current_atom(X))

test m:a(3,X) returns X =@= 15,
given  user:goal_expansion(a(X,Y), Y is X*5)

test m:a(3,X) returns X =@= 9
given  user:goal_expansion(a(X,Y), m, Y is X*X ))

test  m:a(3,X) returns X =@= 9
given  user:goal_expansion(a(X,Y), m, Y is X*X ), user:goal_expansion(a(X), X is 3*5)
jupyter 2018-03-17 10:38:56 +00:00
linux backport file exists system predicate $source_file -> $user source hide and make system preds fix check_head_and_body user_expansion never fails goal expansion is controlled b dynamic procedure add must_be_of_type predicate_indicator fix neat_call, debug flag is user controlled use simplecudd, not ptoblogbdd compile all of myddas fx junk in file_name fix warnings use common file opening struct and funds avoid pairs module fix db queues 2016-01-04 14:11:09 +00:00			`:- use_module(library(lists)).`


			`test a(X) returns atom(X) .+`
			`given user:goal_expansion(a(X), current_atom(X))`

			`test m:a(3,X) returns X =@= 15,`
			`given user:goal_expansion(a(X,Y), Y is X*5)`

			`test m:a(3,X) returns X =@= 9`
			`given user:goal_expansion(a(X,Y), m, Y is X*X ))`

			`test m:a(3,X) returns X =@= 9`
			`given user:goal_expansion(a(X,Y), m, Y is XX ), user:goal_expansion(a(X), X is 35)`