a framework-based integration of Java and Prolog for ... - CiteSeerX
Recommend Documents
of object-orientation and logic programming, Java and Prolog: suitable Java libraries are used ... Generic API layer: a new hierarchy of Java classes modeling Prolog terms, so that user ...... The aspectj 5 development kit developer's notebook.
Allowing to extend the default conversion strategy by means of custom converters. Encapsulating conversion strategies as reified conversion contexts.
WAM has been also a basis for compiling Prolog into C [3], C++, Java, C#. We present the Prolog ... In performance, our translator generates faster code for a set of classical ..... 8. Table 1. Comparison for Prolog Cafe vs jProlog vs SWI-Prolog.
Abstract. We present the Prolog Cafe system that translates Prolog into Java via the WAM. Prolog Cafe provides multi-threaded Prolog en- gines. A Prolog Cafe ...
connections, for instance PHP and SQL. Such a ... rently is one of the most used object oriented programming languages with rich libraries and a very active ...
Let # = fx1 7! t1; :::; xn 7! tng be a substitution. We denote E(#) = fx1 = t1; :::; xn ...... C.N.R. under grant n. 9100880.PF69 and by the Esprit Basic Research Action.
of free nodes in the traditional sweeping phase. B y copying ..... 1 st 2nd 3rd 4 th 5 th 6th 7th 8 th. H eap 6 55 ... Time (ms) 5 6 1 2 9 2 8 0 549 5 3 1 2 8 2 9 0 551.
the logic programming context to give a denotational semantics for Prolog, to generate Prolog ... Two built-ins allow the user to jump, during the resolution of one goal, to the next ..... The problem of unifying two terms may have many solutions.
In this way, SLD-boxes connect the semantics of Prolog programs to the Box. Model, the .... first described 8 what is now called SLD-resolution. Colmerauer ..... In the nonpropositional case we have to take into account unification between the ...
Jun 16, 2004 - its ideas have not been applied to Logic Programming until now. ..... partment is facing as a part of the unified Bachelor-Master system in ...
Tom Schrijversâ1 and Alexander Serebrenikââ2. 1 Department of Computer ... Heverlee, Belgium. E-mail: Tom. ..... Addison-Wesley, 1990. 4. S. Etalle, M.
present FrameWeb's UML profile for modeling framework components in ... developing WISs and a UML profile for a set of design models that brings concepts.
Prolog programming language for its non-determinism and pattern- matching. In this paper we outline an infrastructure for loading and saving RDF/XML, storing ...
Fast path via generic OFED calls. â No QP/CQ mapping. â Minimum driver specific code. â How bad is 1 us extra for posting/reaping work for a Java application?
The RDF parser is distributed with SWI-Prolog under the LGPL Free. Software licence. The other components will be added to the distribution as they become ...Missing:
this problem in Prolog, similar logic languages (e.g., Soul (Roover et al. 2011)) and ... Prolog side is not required, having an opaque reference (i.e., a black box ...
an implemented MAS prototype that monitors processes running in a railway ..... by the PMA; these parameters include âcpu usageâ and. âerrorsâ and are not ...
... Information Science,. CUNY Brooklyn College & Graduate Center, USA, ... sophisticated domain knowledge, it easily solved 11 of the 15 instances used in the ...
following Algol-style procedure:- for CI from I to N do int DI := pop[Cl]*lOOO/area[Cl]; for C2 from I to N d_oo int D2 := pop[C2]*lOOO/area[C2]; if DI>D2 and 20*DI ...
ties of Prolog, these parsers can in general handle nondeterministic and ambiguous ..... list is a c, and the two lists contain the same number of bs. Therefore, for ... the temporary semantic parameter is to be modified for each rule. The following
In Proceedings of the 7th International Conference on Artificial Intelligence: ... derived from other information held in the hierarchy (the 'impure' version of XI allows negated ... with ancillary commands that allow XI models to be incorporated int
This paper describes a simple Prolog-based knowledge representation ... prime example of this is the co-reference resolution task in natural language understand- ..... languages (e.g. second-order unification is undecidable [8]) together with ...
a set features not necessary for the domain can be negative, in terms of .... Each query refers to the name of a Java variable enclosed by â#â. ..... The buy clause look for offers available in the different sites, select the best and calls a generic.
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming Anal+,a Amandi, Marcelo Campo, Alejandro Zunino∗ ISISTAN Research Institute. UNICEN University, Campus Universitario, Paraje Arroyo Seco, Tandil (7000), Buenos Aires, Argentina Received 6 November 2003; accepted 25 March 2004
Abstract Intelligent agent development has imposed new challenges on the necessary language support. Object-oriented languages have been proposed as an appropriate tool, although logic-oriented languages are more adequate for managing mental attitudes. Multi-paradigm languages supporting encapsulation of actions, hiding of private knowledge and 9exible manipulation of knowledge are, certainly, a good alternative for programming agents. However, a unique language to support 9exible and e
