List linking 4

Description

Concatenating difference_lists

Source: The Art of Prolog

Download

Program source code: list_linking_4.pl

Listing

/*	
   append_dl(As,Bs,Cs) :-
	The difference-list Cs is the result of appending Bs to As,
		where As and Bs are compatible difference-lists.
*/
	:- op(40,xfx,\).
 
	append_dl(Xs\Ys,Ys\Zs,Xs\Zs).
 
%	Program 15.1:  Concatenating difference_lists

Comments

pl/prolog/pllib/list_linking_4.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0