Integration into Prolog
نویسنده
چکیده
We present an integration of Mathematica into Prolog using MathLink. We illustrate the interplay between the di erent components by evaluating a simple example. The motivation based on algebraic modeling as well as an application from combinatorial group theory are brie y sketched.
منابع مشابه
Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
This paper discusses the integration of a Prolog implementation, tuProlog, into the DCaseLP environment for building prototypes of multi-agent systems (MASs). DCaseLP aims at providing the MAS developer with a plethora of specification and implementation languages in order to allow him/her to adopt the best language for each view of the system under specification/implementation. The integration...
متن کاملSWI-Prolog as a Semantic Web Tool for semantic querying in Bioclipse: Integration and performance benchmarking
The huge amounts of data produced in high-throughput techniques in the life sciences and the need for integration of heterogeneous data from disparate sources in new fields such as Systems Biology and translational drug development, require better approaches to data integration. The semantic web is anticipated to provide solutions through new formats for knowledge representation and management....
متن کاملAdding Constraint Handling Rules to Curry
This paper proposes an integration of Constraint Handling Rules (CHR), a rulebased language to specify application-oriented constraint solvers, into the declarative multiparadigm language Curry. This integration provides a convenient way to specify and use flexible constraint systems in applications implemented in Curry. We propose to represent CHR as data objects in Curry programs so that the ...
متن کاملMulti-paradigm Java-Prolog integration in tuProlog
tuProlog is a Java-based Prolog engine explicitly designed to be minimal, dynamically configurable, and support full and clean Prolog/Java integration. In this paper, we discuss the tuProlog approach to Prolog/Java multi-paradigm integration. After tuProlog motivations and requirements, we present some examples of bidirectional Prolog/Java integration and discuss the model and architecture of t...
متن کاملExtending Prolog with Nonmonotonic Reasoning
Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation { its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics, and language features have been proposed for diierent forms of ...
متن کامل