fork(1) download
copy 
  1. :- set_prolog_flag(verbose,silent).
  2. :- prompt(_, '').
  3. :- use_module(library(readutil)).
  4.  
  5. main:-
  6.     writeln('Executando a função "main"'),
  7.     writeln('(se você está vendo isso, é porque o programa compilou com sucesso...)'),
  8. 	halt.
  9.  
  10. /* Ajudando o compilador... */
  11. term_expansion((?-Term), (?-Term)) :- % Para cada query encontrado durante a compilação...
  12.     clause(Term, Cauda),              % ...verificamos se existe uma chamada de função pra ela...
  13.     analise_estatica(Cauda).          % ...e fazemos uma análise estática da mesma.
  14. term_expansion(Term, Term).           % Se não é chamada de função, está tudo ok.
  15.  
  16. analise_estatica(throw(tipo_invalido)) :- % Se essa função ia lançar tipo_invalido em execução...
  17.     writeln('Erro: tipo inválido'),       % ...reporte ela de uma vez em compilação! :P
  18.     halt.                                 % ...e pare o programa.
  19. analise_estatica(_).                      % Caso contrário está tudo ok! :)
  20.  
  21. /* Exemplo 3 (declaração) */
  22. distancia(ponto(X1,Y1), ponto(X2,Y2), D) :-
  23.     !,
  24.     D is sqrt((X1-X2)**2 + (Y1-Y2)**2).
  25. distancia(_,_,_) :- throw(tipo_invalido).
  26.  
  27. ?- distancia(ponto(1,2), ponto(3,4), D).
  28. ?- distancia(ponto(1,2), ponto(3,4), 5).
  29.  
  30. :- main.
Success #stdin #stdout #stderr 0.02s 6204KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Executando a função "main"
(se você está vendo isso, é porque o programa compilou com sucesso...)
stderr
copy 
Warning: /home/1fECjv/prog.pl:27:
	Singleton variables: [D]
Warning: /home/1fECjv/prog.pl:28:
	Goal (directive) failed: user:distancia(ponto(1, 2), ponto(3, 4), 5)
https://ideone.com/bpUrr2
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!