Prolog Snippets (Kartei)

12 Karteikarten

• 1
  factorial

  - factorial(0,1). - factorial(N,F) :- N1 is N-1, ...
• 2
  minimum

  - minimum(M,N,M) :- M =< N. - minimum(M,N,N) :- N =< M.
• 3
  greatest common denominator

  - gcd(A,B,GCD) :- A = B, GCD = A. - gcd(A,B,GCD) :- A < B, ...
• 4
  fibonacci

  - fib(0,1). - fib(1,1). - fib(N,F) :- N > 1, N1 is N - 1, ...
• 5
  length (of a list)

  - length([],0). - length([H|T],N) :- length(T,M), N is M+1.
• 6
  member (of a list)

  - member(X,[X|List). - member(X,[Element|List]) :- ...
• 7
  % prefix(Prefix,List) <- Prefix is a prefix of list List

  % prefix(Prefix,List) <- Prefix is a prefix of list List - ...
• 8
  % suffix(Suffix,List) <- Suffix is a suffix of list List

  - suffix(Suffix,Suffix). - prefix(Suffix,[X|List]) :- ...
• 9
  % append(List1,List2,List1List2) <- % List1List2 is the ...

  - append([],List,List). - ...
• 10
  sum of a list

  - sum([ ],0). - sum([X|L],Sum) :- sum(L,SL), Sum is X + SL.
• 11
  product of a list

  - product([ ],1). - product([X|L],Prod) :- product(L,PL), ...
• 12
  reverse (via append)

  - reverse([ ],[ ]). - reverse([X|L],Rev) :- reverse(L,RL), ...