Exemplos de Uso da base de Regras de Física

       

      Ex.1: limpafatos

      fato posicao_inicial posicao tempo

      o sistema conclui velocidade média.

       

      Ex.2: limpafatos

      fato forca peso gravidade

      o sistema conclui a massa e a aceleração.

       

      Ex.3: limpafatos

      fato aceleracao_constante

      o sistema conclui que o movimento é uniformemente variado.

       

      Ex.4: limpafatos

      fato muv s0 v0 t

      o sistema conclui posição.