INSTITUTO TECNOLGICO DE MAZATLAN

INGENIERA EN SISTEMAS COMPUTACIONALES

PROFESORA: ILIANA AMABELY SILVA HERNANDEZ

ALUMNO: Montes Domnguez Jorge Luis

LENGUAJE DE PROGRAMACIN LGICO. (JAVA, C Y PROLOG)

SEMESTRE ENERO- JUNIO 2014

7 DE MARZO DEL 2014

Introduccin

En el siguiente trabajo se presentarn los aspectos relacionados a los estilos de programacin como son el lenguaje Java, el lenguaje C y el lenguaje Prolog. De cada uno de ellos se explicarn cmo se realizan las evaluaciones de expresiones, seguido de cmo se trabaja la definicin de las funciones, asimismo la disciplina de tipos que utilizan dichos lenguajes y por ltimo lo referente a los tipos de datos que acepta cada lenguaje. Cabe mencionar que las definiciones relacionadas con el lenguaje Java van a ir dirigidas a la programacin orientada a objetos, as entonces, los aspectos del lenguaje C son representados por la programacin estructurada y al final el tema relacionado con Prolog va orientado hacia la programacin lgica.

Desarrollo

Evaluacin de expresiones en Java: La evaluacin de expresiones que maneja la programacin orientada a objetos de Java deben constar de un valor literal, una invocacin de mtodo, un operador y sus operandos o un nombre simple (variable, miembro de tipo, parmetro de mtodo, espacio de nombres o tipo). Asimismo pueden utilizar operadores que, a su vez, utilizan otras expresiones como parmetros o llamadas a mtodos cuyos parmetros son, a su vez, otras llamadas a mtodos. Y las expresiones numricas pueden producir desbordamientos si el valor es mayor que el valor mximo del tipo del valor.

Definicin de funciones en Java: Qu es una funcin? Es un conjunto de instrucciones ordenadas de tal manera que permiten la reutilizar cdigo. Estas reciben argumentos y retornan resultados. Asimismo existen los mtodos que stos son funciones particulares que forman parte de un objeto. La declaracin de funciones y mtodos en es la siguiente: Especificador tipo nombre (l parmetros) throws excepciones { // instrucciones return valorDeRetorno;}

Disciplina de tipos: Existen tres tipos que se manejan en Java: Herencia, polimorfismo y la disciplina de tipos esttica. La primera se refiere a cuando una clase

se deriva de otra de manera que extiende su funcionalidad. La segunda se encarga de permitir que una misma funcin se pueda aplicar a parmetros del mismo tipo. Y la ltima es cuando la comprobacin de tipificacin se realiza durante la compilacin, y no durante la ejecucin. Comparado con la disciplina de tipos dinmica, el esttico permite que los errores de programacin sean detectados antes. Tipos de datos en Java: Los tipos de datos existentes son los siguientes: Boolean Long Flota Double Void Objetos Estructuras Arrays Char Byte Short Int

Evaluacin de expresiones en C: En el lenguaje C las expresiones adoptan el valor que se determina por el resultado de la ejecucin de las operaciones indicadas, tomando los valores de las variables y constantes y aplicando las prioridades de las operaciones. Segn el tipo de operadores que se empleen en la expresin. Estn clasificadas en expresiones aritmticas y expresiones

lgicas; las primeras sirven para representar las frmulas matemticas y las segundas son encargadas del uso de operadores lgicos.

Definicin de funciones en C: El lenguaje C debido a que es un lenguaje de programacin estructurado no cuenta con mtodos en sus sintaxis por lo tanto slo se pueden encontrar funciones en sus lneas de cdigo. Ejemplo: Tipo nombre (parmetros) { // instrucciones return valorDeRetorno;}

Disciplinas de tipos en C: El lenguaje C a diferencia de Java no cuenta con Herencia, debido a ser un lenguaje estructurado, no obstante sigue contando con el polimorfismo y tambin maneja una disciplina de tipos esttica fuerte, la cual no permite violaciones de los tipos de datos, es decir, dado el valor de una variable de un tipo concreto, no se puede usar como si fuera de otro tipo distinto a menos que se haga una conversin. Tipos de datos: Float Bool Struct Long Double Long double Short Int

Evaluacin de expresiones en Prolog: La evaluacin de expresiones en Prolog est basada principalmente en resolver predicados lgicos, como su nombre dice Prolog es (programacin lgica), se permiten expresiones aritmticas, solo que deben cumplir con 3 condiciones: tener operadores aritmticos simples, si usa funciones, deben ser fundones aritmticas predefinidas como cos, sqrt, etc. Y la adicin de un predicado extra-lgico que solicite la evaluacin de dichas expresiones aritmticas. Tambin soporta predicados extra-lgicos, que consiste bsicamente en extender el lenguaje para dar acceso a ciertos recursos. Definicin de funciones en Prolog: La definicin de una funcin esta en los hechos que adoptemos para inferir sobre la base de conocimiento de Prolog, el paso de parmetros debe definirse en las reglas a travs de los predicados que los invoquen, ya sea por el mismo o por otro predicado. Para que los predicados definidos como funcin, no retornen un valor errado, el tipo de dato de la variable del predicado llamador debe ser igual al del predicado llamado. La recursividad es un mecanismo que da bastante potencia a cualquier lenguaje de programacin. Disciplina de tipos en Prolog: En este lenguaje slo existe la disciplina de tipos dinmica, la que permite que variable pueda tomar valores de distinto tipo en distintos momentos. La mayora de lenguajes de tipado dinmico son lenguajes interpretados. Tipo de datos en Prolog: Enteros 1, 2, 3 Reales 1.1, 2.5 Cadenas hola quehace Listas [5, perro a]

Conclusin

Con los aspectos antes vistos que representan los tres lenguajes de programacin principales existentes podemos encontrar cules son las principales diferencias, encontrar que el ms complejo en disciplina de tipos es Java el cual tiene herencia, polimorfismo y disciplinas estticas, asimismo contiene la mayor cantidad de tipos de datos pero no por eso signifique que uno sea mejor que otro, simplemente podemos observar que cada uno es bueno en su especialidad, Java en orientado a objetos, Prolog en la programacin lgica y C en la programacin estructurada.