fork(1) download
copy 
  1. :- set_prolog_flag(verbose,silent).
  2. :- prompt(_, '').
  3. :- use_module(library(readutil)).
  4.  
  5. main:-
  6. 	process,
  7. 	halt.
  8.  
  9. /* Exemplo 1 (declaração) */
  10. foo(42).
  11. foo('bar').
  12. foo([_,_,_|_]).
  13.  
  14. /* Exemplo 2 (declaração) */
  15. bar(X,Y,Z) :-
  16.     X = Y,
  17.     foo(X),
  18.     X = Z.
  19.  
  20. /* Exemplo 3 (declaração) */
  21. distancia(ponto(X1,Y1), ponto(X2,Y2), D) :-
  22.     !,
  23.     D is sqrt((X1-X2)**2 + (Y1-Y2)**2).
  24. distancia(_,_,_) :- throw(tipo_invalido).
  25.  
  26. process:-
  27. 	/* Exemplo 1 (uso) */
  28. 	( foo(42)             -> writeln('foo(42) é true')             ; writeln('foo(42) é false')),
  29. 	( foo(10)             -> writeln('foo(10) é true')             ; writeln('foo(10) é false')),
  30. 	( foo(1.23)           -> writeln('foo(1.23) é true')           ; writeln('foo(1.23) é false')),
  31. 	( foo([1,2,3,4,5])    -> writeln('foo([1,2,3,4,5]) é true')    ; writeln('foo([1,2,3,4,5]) é false')),
  32. 	( foo([1,2])          -> writeln('foo([1,2]) é true')          ; writeln('foo([1,2]) é false')),
  33. 	( foo(qualquer_coisa) -> writeln('foo(qualquer_coisa) é true') ; writeln('foo(qualquer_coisa) é false')),
  34.  
  35. 	writeln('foo(QualquerCoisa) pode ser:'),
  36. 	findall(QualquerCoisa, (foo(QualquerCoisa), write('    '), writeln(QualquerCoisa)), _),
  37.  
  38. 	nl,
  39.  
  40. 	/* Exemplo 2 (uso) */
  41. 	bar(X, [1,A,3], [B,2,C]),
  42. 	writeln('bar(X, [1,A,3], [B,2,C])'),
  43. 	write('    X = '), writeln(X),
  44. 	write('    A = '), writeln(A),
  45. 	write('    B = '), writeln(B),
  46. 	write('    C = '), writeln(C),
  47.  
  48. 	writeln('bar(P,_,Q), write(\'Testando: \'), writeln(P), Q = \'bar\' pode ser:'),
  49. 	findall(P, (
  50. 	    bar(P,_,Q), 
  51. 	    write('Testando: '), writeln(P), 
  52. 	    Q = 'bar',
  53. 	    write('Aceitou: '), writeln(P)
  54. 	), _),
  55.  
  56. 	nl,
  57.  
  58. 	/* Exemplo 3 (uso) */
  59.     distancia(ponto(1,2), ponto(3,4), D),
  60.  
  61.     writeln('distancia(ponto(1,2), ponto(3,4), D)'),
  62.     write('    D = '), writeln(D),
  63.  
  64.     write('distancia(ponto(1,2), ponto(3,4), 5) é '),
  65.     (distancia(ponto(1,2), ponto(3,4), 5) -> writeln(true) ; writeln(false)),
  66.  
  67.     catch((
  68.         distancia(foo, bar, baz) ->
  69.         writeln('Ooops! distancia(foo, bar, baz) executou com sucesso!!!') ;
  70.         writeln('Ooops! distancia(foo, bar, baz) executou com falha!!!')
  71.     ), tipo_invalido, writeln('Tipo inválido em distancia(foo, bar, baz)')).
  72.  
  73.  
  74. :- main.
Success #stdin #stdout 0.02s 6204KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
foo(42) é true
foo(10) é false
foo(1.23) é false
foo([1,2,3,4,5]) é true
foo([1,2]) é false
foo(qualquer_coisa) é false
foo(QualquerCoisa) pode ser:
    42
    bar
    [_G414, _G417, _G420|_G421]

bar(X, [1,A,3], [B,2,C])
    X = [1, 2, 3]
    A = 2
    B = 1
    C = 3
bar(P,_,Q), write('Testando: '), writeln(P), Q = 'bar' pode ser:
Testando: 42
Testando: bar
Aceitou: bar
Testando: [_G496, _G499, _G502|_G503]

distancia(ponto(1,2), ponto(3,4), D)
    D = 2.82843
distancia(ponto(1,2), ponto(3,4), 5) é false
Tipo inválido em distancia(foo, bar, baz)
https://ideone.com/34j7A3
language:
Prolog (swi 7.6.4)
created:
9 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!