1. The WordReference Forums have moved to new forum software. (Details)

programas lógicos

Discussion in 'Computers/IT/Informática' started by John R, Feb 5, 2013.

  1. John R Senior Member

    England English
    Hi Everybody,

    I'm trying to translate the below sentence into English:


    Los programas lógicos pueden ser entendidos y estudiados a partir de dos conceptos: verdad y deducción lógica.


    My attempt is:

    Logic programs can be understood and studied from two perspectives/concepts: facts/truth and logical deduction.


    Any ideas or suggestions or alternative translations?

    Many thanks
     
  2. auxilio! Senior Member

    English - Australia
    What you have seems ok, based on what you show here. I'm inclined to think that it comes from an old text and that the meaning of Los programas lógicos could be slightly different from today's norms. What's the publication date? Do you have a couple more paragraphs?

    Perhaps 'a partir de dos conceptos: verdad y deducción logica' -> 'starting with two concepts: logical truth and deduction'

    Cheers
     
  3. John R Senior Member

    England English
    Hi Auxilio,

    Thanks so much for taking the time to reply.

    Here's a bit more context:

    PROLOG es un lenguaje de computación basada en ese paradigma. Los programas lógicos pueden ser entendidos y estudiados a partir de dos conceptos: verdad y deducción lógica. En programación lógica, uno puede preguntarse si un axioma de un programa es verdad bajo alguna interpretación de los símbolos del programa y si ciertas declaraciones lógicas son consecuencia del programa. Esas preguntas pueden ser respondidas independientemente de cualquier mecanismo de ejecución concreto.
     
  4. SolAguila

    SolAguila Senior Member

    India
    Bengali-India
    I would say, the logical programs can be understood and studied starting from the two concepts: logical truth and deduction.
    Let's see.
     
  5. John R Senior Member

    England English
    Hi Sol,

    I think your translation sounds v good.

    Thanks very much
     
  6. auxilio! Senior Member

    English - Australia
    To me too.

    PROLOG fue ideado más o menos recientemente, así que sólo pensaría en la palabra 'lógicos'. Pienso que esta palabra se sobreentiende. Si fuera la intención hacer una traducción fiel del original, hay que conservarla. Si fuera para algo distinto, habría una posibilidad de pensar en omitirla.
     

Share This Page