/* CLP(R) EXAMPLES FOR 341 LECTURE */
/* This file is on ~borning/clpr/myprogs/lecture on orcas */


/* CENTIGRADE-FAHRENHEIT TEMPERATURE CONVERSION */

cf(C,F) :- F-32.0 = 1.8*C.

/* the same program in Scheme:

(define (c-to-f c) 
  (+ (* 1.8 c) 32.0))

(define (f-to-c f)
  (/ (- f 32.0) 1.8))

*/



/* FIND THE MAX OF TWO NUMBERS */

max(X,Y,X) :- X>=Y.
max(X,Y,Y) :- X<Y.


/* the same program in Scheme:

(define (max x y)
  (if (>= x y) x y))

in Miranda:

max x y = x, if x>=y
        = y, if x<y

*/


/* SOME SAMPLE LIST MANIPULATION PROGRAMS */

append([],Ys,Ys).
append([X|Xs],Ys,[X|Zs]) :- append(Xs,Ys,Zs).


/* Scheme and Miranda versions of append:

(define (append x y)
  (if (null? x)
      y
      (cons (car x) (append (cdr x) y))))

append [] y = y
append (x:xs) y = x : append xs y

*/


member(X,[X|Xs]).
member(X,[Y|Ys]) :- member(X,Ys).

/* Scheme and Miranda versions of member.  In these languages we return
true or false, while in CLP(R) there is no explicit return value; rather,
we succeed or fail. 


(define (member x xs)
  (cond ((null? xs) #f)
        ((eq? x (car xs)) #t)
        (else (member x (cdr xs)))))


member x [] = False
member x (x:xs) = True
member x (y:xs) = member x xs

*/


/* CLAUSES TO FIND ALL PERMUTATIONS OF A LIST */
permute([],[]).

permute([H|T],L) :-
  permute(T,U),
  insert(H,U,L).

/* insert an element X somewhere in list L */

insert(X,L,[X|L]).

insert(X,[H|T],[H|U]) :-
  insert(X,T,U).

/* Miranda version of permute (returns a list of lists, rather than
backtracking through multiple lists) */

/*

perms [] = [[]]
perms x  = [ a:y | a <- x; y <- perms (x--[a]) ]

*/



/* LENGTH OF A LIST */

length([],0).
length([_|Xs],N) :- N>0, length(Xs,N-1).


/* Miranda version of length:

length [] = 0
length (a:as) = 1 + length as

*/

/* QUICKSORT */

quicksort([],[]).
quicksort([X|Xs],Sorted) :-
  partition(X,Xs,Smalls,Bigs),
  quicksort(Smalls,SortedSmalls),
  quicksort(Bigs,SortedBigs),
  append(SortedSmalls,[X|SortedBigs],Sorted).

partition(Pivot,[],[],[]).
partition(Pivot,[X|Xs],[X|Ys],Zs) :-
   X <= Pivot,
   partition(Pivot,Xs,Ys,Zs).
partition(Pivot,[X|Xs],Ys,[X|Zs]) :-
   X > Pivot,
   partition(Pivot,Xs,Ys,Zs).