Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

pl:prolog:pllib:queue [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
 +====== Queue ======
 +{{tag>​queue}}
 +===== Description =====
 +A queue process
 +
 +**Source**: ​ The Art of Prolog
 +===== Download =====
 +Program source code: {{queue.pl}}
 +===== Listing =====
 +<code prolog>
 +/*
 +    queue(S) :-
 + S is a sequence of enqueue and dequeue operations,
 + represented as a list of terms enqueue(X) and dequeue(X).
 +*/
 + :- op(40,​xfx,​\).
 +
 + queue(S) :- queue(S,​Q\Q).
 +
 + queue([enqueue(X)|Xs],​Q) :-
 +    ​enqueue(X,​Q,​Q1),​ queue(Xs,​Q1).
 + queue([dequeue(X)|Xs],​Q) :-
 +    ​dequeue(X,​Q,​Q1),​ queue(Xs,​Q1).
 + queue([],​Q).
 +
 + enqueue(X,​Qh\[X|Qt],​Qh\Qt).
 + dequeue(X,​[X|Qh]\Qt,​Qh\Qt).
 +
 +% Program 15.11: A queue process
 +</​code>​
 +===== Comments =====
  
pl/prolog/pllib/queue.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