prolog - Swapping a specific number in list 1 with a specific number in list 2 -

-

i have been brushing on prolog recently. kind of enjoy coming random problems try , solve , working them out. 1 quite tough though, , i'm not 1 give on problem have set out solve.

the problem: want make predicate have 2 predetermined lists, 2 numbers swap, , output lists after swapping done.

further explanation: made little harder on myself wanting find specific unique number list 1, , swapping specific unique number list 2 if have 2 lists... [7,2,7,8,5], , [1,2,3,8,7,9,8], , give predicate 2 numbers(lets 8 , 7), number 8 , number 7 swapped between lists if , if number 8 in first list , number 7 in second list. (it disregard 8 in second list , 7 in first list).

sample query expected answer:

?- bothswap([7,2,7,8,5],[1,2,3,8,7,9,8],8,7,x,y). x = [7,2,7,7,5], y = [1,2,3,8,8,9,8].

i kind of got stuck @ point: 

bothswap([],l2,n1,n2,[],l2). bothswap(l1,[],n1,n2,l1,[]). bothswap([h1|t1],[h2|t2],n1,n2,x,y) :- h1 == n1, h2 == n2, bothswap(t1,t2,n1,n2,d1,d2), append(d1,[h2],x), append(d2,[h1],y). bothswap([h1|t1],[h2|t2],n1,n2,x,y) :- h1 == n1, h2 =\= n2, bothswap([h1|t1],t2,n1,n2,d1,d2). bothswap([h1|t1],[h2|t2],n1,n2,x,y) :- h1 =\= n1, h2 == n2, bothswap(t1,[h2|t2],n1,n2,d1,d2).

any bright minds out there willing tackle problem me? :)

let's start, mean swapping.

swap(x0,x, s0,s) :-    if_(x0 = s0, s = x, s = s0).  bothswap0(xs0, ys0, x0,x, xs,ys) :-    maplist(swap(x0,x), xs0,xs),    maplist(swap(x,x0), ys0,ys).  if_( c_1, then_0, else_0) :-    call(c_1, truth),    functor(truth,_,0),  % safety check    ( truth == true -> then_0 ; truth == false, else_0 ).  =(x, y, r) :- x == y, !, r = true. =(x, y, r) :- ?=(x, y), !, r = false. % syntactically different =(x, y, r) :- x \= y, !, r = false. % semantically different =(x, y, r) :- r == true, !, x = y. =(x, x, true). =(x, y, false) :-    dif(x, y).

now wanted particular condition - not clear how apply it. see 2 interpretations:

bothswap(xs0, ys0, x0,x, xs,ys) :-    memberd(x0, xs0),    memberd(x, ys0),    maplist(swap(x0,x), xs0,xs),    maplist(swap(x,x0), ys0,ys).

which means bothswap/6 fail should 2 elements not occur in respective list.

another interpretation might want otherwise lists remain same. express (in pure monotonic fashion):

bothswap(xs0, ys0, x0,x, xs,ys) :-    if_( ( memberd_t(x0, xs0), memberd_t(x, ys0) ),         ( maplist(swap(x0,x), xs0,xs), maplist(swap(x,x0), ys0,ys) ),         ( xs0 = xs, ys0 = ys) ).  memberd_t(e, xs, t) :-    list_memberd(xs, e, t).  list_memberd([], _, false). list_memberd([x|xs], e, t) :-    if_(e = x, t = true, list_memberd(xs, e, t) ).  ','( a_1, b_1, t) :-    if_( a_1, call(b_1, t), t = false ).

Comments

Post a Comment

Popular posts from this blog

python - How to create jsonb index using GIN on SQLAlchemy? -

-
here's current code creating index jsonb. index("mytable_data_idx_id_key", mytable.data['id'].astext, postgresql_using='gin') but got error. sqlalchemy.exc.programmingerror: (psycopg2.programmingerror) data type text has no default operator class access method "gin" hint: must specify operator class index or define default operator class data type. [sql: "create index event_data_idx_id_key on event using gin ((data ->> 'id'))"] is there way create index on sqlalchemy? the postgresql specific sqlalchemy docs @ http://docs.sqlalchemy.org/en/latest/dialects/postgresql.html#operator-classes mention postgresql_ops dictionary provide "operator class" used postgresql, , provide example illustrating use: index('my_index', my_table.c.id, my_table.c.data, postgresql_ops={ 'data': 'text_pattern_ops', ...
Read more

PHP DOM loadHTML() method unusual warning -

-
i had following code works fine on localhost: $document = new domdocument(); $document->loadhtml($p_result); $form = $document->getelementsbytagname('form')->item(0); // code continues using $form variable after same code updated on outside server, loadhtml() failed , issued warning. warning: domdocument::loadhtml() expects parameter 1 valid path, string given in path/name/to/script.php returned null instead of object code pretty gets fatal error. note contents of $p_result absolutely same on outside server , on localhost. but why displays kind of warning , why not work? doesn't loadhtml() expects argument 1 string in first place? why method expects parameter 1 valid path ? just make clear i'm not calling loadhtmlfile() , i'm calling loadhtml() . thanks. you're affected one of php bugs . issue present in php 5.6.8 , 5.6.9. have affected php version on server, , bug-free version on localhost. the bug forbids null ...
Read more

c# - TransactionScope not rolling back although no complete() is called -

-
i'm using transactionscope rollback transaction fail bool errorreported = false; action<importerrorlog> newerrorcallback = e => { errorreported = true; errorcallback(e); }; using (var transaction = new transactionscope()) { foreach (importtaskdefinition task in taskdefinition) { loader.load(streamfile, newerrorcallback, task.destinationtable, processingtaskid); } if (!errorreported) transaction.complete(); } i'm sure there no transactionscope started ahead or after code. i'm using entity framework insert in db. regardless state of errorreported transaction never rolled in case of error. what missing ? transactionscope sets transaction.current . that's does. wants transacted must @ property. i believe ef each time connection opened reason. probably, connection open when scope installed. open connection inside of scope or enlist manually. ef has nasty "design decision": default opens ...
Read more