Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Multi-threading and message communication in Qu-Prolog

This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications.

Tutor Prolog Didpro : programa de autoenseñanza del Prolog orientado a niños.

Pretende formar en la lógica al tiempo que se aprende la sintaxis del Prolog, de ahí que se consideren las estructuras sintácticas desde el punto de vista de la semántica como medios de representación-deducción de conocimientos. La razón es que se trata de un sistema de autoaprendizaje sin un maestro sino por ejemplos de descripciones características y descripciones discriminantes. Objetivos: iniciar una investigación, con métodos propios, de un área de aprendizaje 'La Alfabetización Informática' intentando que el sistema fuera motivador, de autoaprendizaje y además ayude a consolidar las operaciones lógico-formales y la capacidad de abstracción. El objetivo de cuestionario es ayudar a interpretar y predecir el comportamiento del sujeto en el programa y detectar elementos de dificultad del mismo. Elaboración de un programa de autoaprendizaje del Prolog orientado a niños entre 12 y 14 años. El método general es el inductivo: son los ejemplos los que proporcionan la escalera de ascenso a las clases de conceptos. Comenta las diferentes aproximaciones hechas sobre enseñanza de programación lógica en la escuela como son las de Gran Bretaña en el Imperial College, en Italia y en Portugal. Estudia los condicionantes para que fuera motivador y de autoaprendizaje. Las fases del trabajo son: traducción del lenguaje natural a Prolog, construcción de hechos sencillos como sentencias descriptivas, consulta de esa base de hechos e introducción de reglas. El programa está estructurado por niveles, es preciso superar uno para pasar al siguiente. Cada nivel contiene una evaluación final. Cuestionario 'ad hoc' dividido en cuatro bloques que recogen información acerca de las características generales del sujeto, la experiencia de interacción con la máquina, historia de su presentación y el tipo de preguntas que se realizan y los conceptos elementales del lenguaje de programación. Se utiliza un sistema de aprendizaje de adquisición de conocimientos por medio de ejemplos. Priman los aspectos sintácticos sobre los semánticos pero los primeros están orientados a los segundos. La historia motiva y gusta al niño, lo cual ya es un logro importante ya que de lo que se trata es de iniciar a los niños en la informática de un modo distinto. Uno de los conceptos mejor asimilados es el de la sintaxis en la construcción de hechos, así como en la importancia del orden de los argumentos. Las perspectivas de desarrollo de este trabajo, según el autor, son muchas, entre ellas destaca: crear un metasistema de control del alumno para que exista una especie de árbol de los conceptos a desarrollar y de las preguntas que abordan esos conceptos y seguir perfeccionando la programación lógica, Prolog, para lograr un verdadero sistema experto de aprendizaje para niños.

Prolog zur Feier des 200jährigen Bestehens der israelitischen Gemeinde zu Rendsburg und der vor 50 Jahren erfolgten Einweihung des neuerbauten Gotteshauses Rendsburg 1895

Enth. außerdem: Meyer, Frau Martin: Prolog zur Feier des 200jährigen Bestehens der israelitischen Gemeinde zu Rendsburg und der vor 50 Jahren erfolgten Einweihung des neuerbauten Gotteshauses Rendsburg 1895

Bar Kokhba, (der zuhn fun dem shṭern) : oder diʾ letsṭe ṭeg fun Yerushalayim ; a muziḳalishe melodrama in raymen, in 4 aḳṭen miṭ a prolog, in 14 bilder

ferfasṭ fun A. Goldfaden

Goṭ, mensh un ṭayvl : drama in 4 akṭen miṭ a prolog

fun Jankev Gordin