Search Results - "Concurrent Logic Programming Languages"

A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic by Glazerman, Marion

“… the concurrent logic programming languages is developed. The approach is from an order theoretic viewpoint…”
Get full text

Compiling concurrent logic programming languages by Kliger, Shmuel

Get full text

The deevolution of concurrent logic programming languages by Tick, E.

“…This article surveys the field of implementation of concurrent logic programming languages…”
Get full text

A lingua franca for concurrent logic programming by Taylor, H.

“…Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog…”
Get full text

Design of security system based on immune system by Nishiyama, H., Mizoguchi, F.

“… This system defines an immune cell as one agent based on our multiagent language, which is an extension of concurrent logic programming languages…”
Get full text

Using flat concurrent Prolog in system modeling by Dotan, Y., Arazi, B.

“…The flat concurrent Prolog (FCP) language, which enables the implementation of synchronization through data flow, communication through shared variables,…”
Get full text

Design of network security system base on vaccination by YaPing Jiang, JunLin Chang

“… This system defines an immune cell as one agent based on our multi-agent language, which is an extension of concurrent logic programming languages…”
Get full text

Programming in concurrent logic languages by Huntbach, M.M., Ringwood, G.A.

“…The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These languages make parallelism easy by…”
Get full text

Security Operation Center Based on Immune System by Yi Niu, Quanju Zhang, QiLun Zheng, Hong Peng

“… This system implements each immune cell as an agent based on our multi-agent language, which his an extension of concurrent logic programming languages…”
Get full text

The Diadora principle: efficient execution of concurrent logic and related languages by Massey, Tick

“… (data dependencies that circularly link tasks). Incorrect assignment of a cycle into a single thread can result in deadlock, but perfectly safe data dependency analysis is especially difficult for concurrent logic programming languages (CLPs…”
Get full text

A logic-based concurrent object-oriented programming language by Melendez, R.R

“… It improves on traditional concurrent logic programming languages (e.g. Parlog) by explicitly specifying aspects of the behaviour of concurrent programs…”
Get full text

TGHC: timed guarded Horn clauses by Saito, K.

“… (timed guarded Horn clauses). TGHC is a descendant of concurrent logic programming languages and it is capable of explicitly expressing time constraints by introducing the timed guard to GHC…”
Get full text

Taskell: A concurrent constraint programming language by Pellerin, Clement

“… The constraint system of Taskell is the set of finite trees with equality. The choice of constraint system makes Taskell similar to concurrent logic programming languages…”
Get full text

A logic semantics for a class of nondeterministic concurrent constraint logic programs by Ho-Fung Leung, Bo-Ming Tong

“…M.J. Maher (1987) proposed the ALPS class of committed-choice languages, which can be seen as a further development of concurrent logic programming languages in the direction of CLP(X…”
Get full text

Modular Algorithm for Sparse Multivariate Polynomial Interpolationand its Parallel Implementation by MURAO, HIROKAZU, FUJISE, TETSURO

“…A new algorithm for sparse multivariate polynomial interpolation is presented. It is a multi-modular extension of the Ben-Or and Tiwari algorithm, and is…”
Get full text

Constraint Satisfaction in Distributed Concurrent Logic Programming by LEUNG, HO-FUNG, CLARK, KEITH L.

“… To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the ‘ask…”
Get full text

Specifying and verifying multiagent systems using the cognitive agents specification language (CASL) by Shapiro, Steven

“… We use the notation of the concurrent, logic programming language ConGolog [17] to specify the behaviour of agents…”
Get full text

Experience with the Super Monaco optimizing compiler by Tick, Evan, Massey, Bart C., Larson, James S.

“…“Super Monaco” is a shared-memory multiprocessor implementation of a flat concurrent logic programming language…”
Get full text

Speculative parallelism of intelligent interactive systems by Tatemura, J.

“… In this paper, the overview of this programming technique is described. We utilize a concurrent logic programming language KL1 to express speculative parallelism of an interactive program…”
Get full text

"3D-PP": three-dimensional visual programming system by Oshiba, T., Tanaka, J.

“…We are interested in three-dimensional visual programming environments in particular. The conventional visual programming systems mainly focuses on…”
Get full text